From Bialgebraic Semantics to Congruence Formats (2005)

Cached


by Bartek Klin
Citations:10 - 4 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
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
46 Semantics of Name and Value Passing – Marcelo Fiore, Daniele Turi - 2001
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
14 Coalgebras and their logics – A Kurz - 2006
13 Testing semantics: connecting processes and process logics – Dusko Pavlovic, Michael Mislove, James B. Worrell - 2006
930 Categories for the Working Mathematician – S Mac Lane - 1971
3219 Communication and Concurrency – R Milner - 1990
8 Coalgebraic semantics for timed processes – Marco Kick, John Power, Alex Simpson - 2006
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
20 A congruence rule format for name-passing process calculi from mathematical structural operational semantics – Marcelo Fiore, Sam Staton - 2006
19 An abstract coalgebraic approach to process equivalence for well-behaved operational semantics – Bartosz Klin - 2004
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
6 A Hierarchy of SOS Rule Formats – Jan Friso Groote, MohammadReza Mousavi, Michel A. Reniers - 2005
8 Rule formats for timed processes – M Kick - 2002