Jan Rutten
Jan Rutten
Bestätigte E-Mail-Adresse bei cwi.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Universal coalgebra: a theory of systems
JJMM Rutten
Theoretical Computer Science 249 (1), 3-80, 2000
15642000
A tutorial on (co) algebras and (co) induction
B Jacobs, J Rutten
Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997
8551997
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
435*2006
Advanced topics in bisimulation and coinduction
D Sangiorgi, J Rutten
Cambridge University Press, 2011
392*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
3001989
Automata and coinduction (an exercise in coalgebra)
J Rutten
CONCUR'98 Concurrency Theory, 194-218, 1998
2871998
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
JJMM Rutten
American Mathematical Society, 2004
2562004
Bisimulation for probabilistic transition systems: a coalgebraic approach
EP De Vink, JJMM Rutten
Theoretical Computer Science 221 (1-2), 271-293, 1999
2231999
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
JJMM Rutten
Theoretical Computer Science 308 (1), 1-53, 2003
2132003
A coinductive calculus of component connectors
F Arbab, J Rutten
Recent Trends in Algebraic Development Techniques, 34-55, 2003
2102003
Initial algebra and final coalgebra semantics for concurrency
J Rutten, D Turi
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1591993
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
151*1998
Elements of generalized ultrametric domain theory
JJMM Rutten
Theoretical Computer Science 170 (1-2), 349-381, 1996
1461996
Denotational semantics of a parallel object-oriented language.
P America, J De Bakker, JN Kok, J Rutten
Inf. Comput. 83 (2), 152-205, 1989
1461989
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
1371986
A coinductive calculus of streams
JJMM Rutten
Mathematical Structures in Computer Science 15 (1), 93-147, 2005
1332005
The failure of failures in a paradigm for asynchronous communication
FS de Boer, JN Kok, C Palamidessi, J Rutten
Utrecht, 1991
129*1991
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
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
1271992
Non-deterministic Kleene coalgebras
A Silva, M Bonsangue, J Rutten
Logical Method in Computer Science 6 (3), 1-39, 2010
126*2010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20