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

Cached

Download Links

by Bartosz Klin
Citations:19 - 6 self

Documents Related by Co-Citation

134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
3219 Communication and Concurrency – R Milner - 1990
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
54 Logics for Coalgebras and Applications to Computer Science – A Kurz - 2000
26 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
8 Rule formats for timed processes – M Kick - 2002
13 GSOS for Probabilistic Transition Systems – Falk Bartels - 2002
8 The least fibred lifting and the expressivity of coalgebraic modal logic – Bartek Klin - 2005
14 Coalgebras and their logics – A Kurz - 2006
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004