Követés
Jan Rutten
Jan Rutten
CWI
E-mail megerősítve itt: cwi.nl - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Universal coalgebra: a theory of systems
JJMM Rutten
Theoretical Computer Science 249 (1), 3-80, 2000
17962000
A tutorial on (co) algebras and (co) induction
B Jacobs, J Rutten
Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997
9001997
Advanced topics in bisimulation and coinduction
D Sangiorgi, J Rutten
Cambridge University Press, 2011
547*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
483*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
3231989
Automata and coinduction (an exercise in coalgebra)
J Rutten
CONCUR'98 Concurrency Theory, 194-218, 1998
3001998
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
JJMM Rutten
American Mathematical Society, 2004
2732004
Bisimulation for probabilistic transition systems: a coalgebraic approach
EP De Vink, JJMM Rutten
Theoretical Computer Science 221 (1-2), 271-293, 1999
2471999
A coinductive calculus of component connectors
F Arbab, J Rutten
Recent Trends in Algebraic Development Techniques, 34-55, 2003
2412003
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
JJMM Rutten
Theoretical Computer Science 308 (1), 1-53, 2003
2392003
Generalizing determinization from automata to coalgebras
A Silva, F Bonchi, MM Bonsangue, JJMM Rutten
Logical Methods in Computer Science 9, 1--27, 2013
174*2013
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
1671998
Non-deterministic Kleene coalgebras
A Silva, M Bonsangue, J Rutten
Logical Method in Computer Science 6 (3), 1-39, 2010
160*2010
Elements of generalized ultrametric domain theory
JJMM Rutten
Theoretical Computer Science 170 (1-2), 349-381, 1996
1581996
Initial algebra and final coalgebra semantics for concurrency
J Rutten, D Turi
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994
1581994
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
1511986
A coinductive calculus of streams
JJMM Rutten
Mathematical Structures in Computer Science 15 (1), 93-147, 2005
1502005
Denotational semantics of a parallel object-oriented language.
P America, J De Bakker, JN Kok, J Rutten
Inf. Comput. 83 (2), 152-205, 1989
1451989
The failure of failures in a paradigm for asynchronous communication
FS de Boer, JN Kok, C Palamidessi, J Rutten
Utrecht, 1991
137*1991
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
1351993
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20