Jan Rutten
Jan Rutten
Verified email at cwi.nl - Homepage
Title
Cited by
Cited by
Year
Universal coalgebra: a theory of systems
JJMM Rutten
Theoretical Computer Science 249 (1), 3-80, 2000
15102000
A tutorial on (co) algebras and (co) induction
B Jacobs, J Rutten
Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997
8281997
Modeling component connectors in Reo by constraint automata
C Baier, M Sirjani, F Arbab, J Rutten
Science of Computer Programming 61 (2), 75-113, 2006
414*2006
Advanced topics in bisimulation and coinduction
D Sangiorgi, J Rutten
Cambridge University Press, 2011
356*2011
Solving reflexive domain equations in a category of complete metric spaces
P America, J Rutten
Journal of Computer and System Sciences 39 (3), 343-375, 1989
2941989
Automata and coinduction (an exercise in coalgebra)
J Rutten
CONCUR'98 Concurrency Theory, 194-218, 1998
2731998
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
JJMM Rutten
American Mathematical Society, 2004
2532004
Bisimulation for probabilistic transition systems: a coalgebraic approach
EP De Vink, JJMM Rutten
Theoretical Computer Science 221 (1-2), 271-293, 1999
2181999
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
JJMM Rutten
Theoretical Computer Science 308 (1), 1-53, 2003
2142003
A coinductive calculus of component connectors
F Arbab, J Rutten
Recent Trends in Algebraic Development Techniques, 34-55, 2003
2042003
Initial algebra and final coalgebra semantics for concurrency
J Rutten, D Turi
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1531993
Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding
MM Bonsangue, F Van Breugel, J Rutten
Theoretical Computer Science 193 (1-2), 1-51, 1998
149*1998
Elements of generalized ultrametric domain theory
JJMM Rutten
Theoretical Computer Science 170 (1-2), 349-381, 1996
1401996
Denotational semantics of a parallel object-oriented language.
P America, J De Bakker, JN Kok, J Rutten
Inf. Comput. 83 (2), 152-205, 1989
1361989
A coinductive calculus of streams
JJMM Rutten
Mathematical Structures in Computer Science 15 (1), 93, 2005
1292005
Operational semantics of a parallel object-oriented language
P America, J de Bakker, JN Kok, JJMM Rutten
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986
1291986
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
J Rutten, D Turi
Mathematical Structures in Computer Science 8 (5), 481-540, 1998
1281998
The failure of failures in a paradigm for asynchronous communication
FS de Boer, JN Kok, C Palamidessi, J Rutten
Utrecht, 1991
125*1991
On the foundations of final semantics: non-standard sets, metric spaces, partial orders
JJMM Rutten, D Turi
Workshop/School/Symposium of the REX Project (Research and Education in …, 1992
1231992
Non-deterministic Kleene coalgebras
A Silva, M Bonsangue, J Rutten
Logical Method in Computer Science 6 (3), 1-39, 2010
118*2010
The system can't perform the operation now. Try again later.
Articles 1–20