Categorical Modelling of Structural Operational Rules - Case Studies (1997)

Cached

Download Links

by Daniele Turi
Citations:8 - 4 self

Active Bibliography

134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
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
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
7 Topological Models for Higher Order Control Flow – J. W. de Bakker, F. van Breugel - 1993
6 Distributivity for a Monad and a Comonad – John Power, Hiroshi Watanabe
Towards Effects in Mathematical Operational Semantics – Faris Abou-saleh, Dirk Pattinson
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
14 Parametric Corecursion – Lawrence S. Moss
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995