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
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
297 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
1280 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
919 Categories for the working mathematician – Mac Lane, S - 1971
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