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

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

Documents Related by Co-Citation

388 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
29 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
167 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
143 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
1470 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
228 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
1090 Categories for the Working Mathematician – Mac Lane, S - 2000
505 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
56 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994