Universal coalgebra: a theory of systems (2000)

by J. J. M. M. Rutten
Citations:298 - 31 self

Active Bibliography

45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
7 A Structural Co-Induction Theorem – J. J. M. M. Rutten - 1993
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
1 Transition Systems From Event Structures Revisited – Mila Majster-cederbaum, Markus Roggenbach
1 De Bakker-Zucker Processes Revisited – Franck Van Breugel, Franck Van Breugel - 1999
1 A Companion to Coalgebraic Weak Bisimulation for Action-Type Systems ∗ – Ana Sokolova, Erik Vink, Harald Woracek
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
103 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
5 CCS Dynamic Bisimulation is Progressing – Ugo Montanari, Vladimiro Sassone - 1991