An abstract coalgebraic approach to process equivalence for well-behaved operational semantics (2004)

Cached

Download Links

by Bartosz Klin
Citations:19 - 6 self

Active Bibliography

15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
Towards Effects in Mathematical Operational Semantics – Faris Abou-saleh, Dirk Pattinson
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997
1 Stable and Timed Formats for Process Algebra – Iain Phillips, Irek Ulidowski - 1995
8 Finite axiom systems for testing preorder and De Simone Process Languages – Irek Ulidowski - 2000
4 Precongruence Formats for Decorated Trace Preorders – Bard Bloom, Wan Fokkink, Rob Van Glabbeek - 2000
7 Formats of Ordered SOS Rules with Silent Actions – Irek Ulidowski, Iain Phillips - 1997
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997