Follow
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
17782000
A tutorial on (co) algebras and (co) induction
B Jacobs, J Rutten
Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997
9041997
Advanced topics in bisimulation and coinduction
D Sangiorgi, J Rutten
Cambridge University Press, 2011
554*2011
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
469*2006
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
3171989
Automata and coinduction (an exercise in coalgebra)
J Rutten
CONCUR'98 Concurrency Theory, 194-218, 1998
3021998
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
JJMM Rutten
American Mathematical Society, 2004
2722004
Bisimulation for probabilistic transition systems: a coalgebraic approach
EP De Vink, JJMM Rutten
Theoretical Computer Science 221 (1-2), 271-293, 1999
2441999
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
JJMM Rutten
Theoretical Computer Science 308 (1), 1-53, 2003
2372003
A coinductive calculus of component connectors
F Arbab, J Rutten
Recent Trends in Algebraic Development Techniques, 34-55, 2003
2292003
Initial algebra and final coalgebra semantics for concurrency
J Rutten, D Turi
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994
1641994
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
1631998
Non-deterministic Kleene coalgebras
A Silva, M Bonsangue, J Rutten
Logical Method in Computer Science 6 (3), 1-39, 2010
156*2010
Elements of generalized ultrametric domain theory
JJMM Rutten
Theoretical Computer Science 170 (1-2), 349-381, 1996
1561996
A coinductive calculus of streams
JJMM Rutten
Mathematical Structures in Computer Science 15 (1), 93-147, 2005
1502005
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
1491986
Denotational semantics of a parallel object-oriented language.
P America, J De Bakker, JN Kok, J Rutten
Inf. Comput. 83 (2), 152-205, 1989
1471989
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
D Turi, J Rutten
Mathematical Structures in Computer Science 8 (5), 481-540, 1998
1371998
On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
JJMM Rutten, D Turi
Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993
1361993
The failure of failures in a paradigm for asynchronous communication
FS de Boer, JN Kok, C Palamidessi, J Rutten
Utrecht, 1991
133*1991
The system can't perform the operation now. Try again later.
Articles 1–20