Bialgebraic Methods and Modal Logic in Structural Operational Semantics (2007)

by Bartek Klin
Venue:Electronic Notes in Theoretical Computer Science
Citations:8 - 3 self

Documents Related by Co-Citation

17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
5 A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum – L Monteiro - 2009
1286 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
9 Category theory for operational semantics – M Lenisa, J Power, H Watanabe
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
121 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
19 Algebraic specification and coalgebraic synthesis of Mealy machines – J. J. M. M. Rutten - 2006
921 Categories for the working mathematician – Saunders Mac Lane - 1998
12 Communicating Sequencial Processes – C A R Hoare - 1985
2 CSP, Partial Automata, and Coalgebras – Uwe Wolter - 1999
2 L.: Defining behaviours by quasi-finality – E Freire, Monteiro - 2009
19 Final Universes of Processes – Peter Aczel - 1994
28 CSP-Casl – A new integration of process algebra and algebraic specification – Markus Roggenbach - 2003