Initial Algebra and Final Coalgebra Semantics for Concurrency (1994)

Cached

Download Links

by Jan Rutten , Daniele Turi
Citations:55 - 9 self

Active Bibliography

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
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
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
7 A Structural Co-Induction Theorem – J. J. M. M. Rutten - 1993
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
231 Domain Theory in Logical Form – Samson Abramsky - 1991
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
3 Comparative Semantics for a Process Language With Probabilistic Choice and Non-Determinism – J.I. den Hartog - 1998
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
56 A brief history of process algebra – J. C. M. Baeten - 2004
15 Rooted branching bisimulation as a congruence – Wan Fokkink - 2000
23 Domain theory for concurrency – Mikkel Nygaard - 2003
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007