Bialgebraic methods in structural operational semantics (2007)

Cached

Download Links

by Bartek Klin
Venue:ENTCS
Citations:5 - 1 self

Active Bibliography

8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
Bialgebraic Operational Semantics and Modal Logic (extended abstract) – Bartek Klin
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
10 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
10 Coalgebraic modal logic beyond Sets – Bartek Klin - 2007
7 Structural Operational Semantics for Stochastic Process Calculi – Bartek Klin, Vladimiro Sassone
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
Notions of bisimulation and congruence formats – Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote - 2004
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
Ministry of University and Research project SisteR (PRIN 20088HXMYN). – Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci, F. Bonchi, M. G. Buscemi, V. Ciancia, F. Gadducci (b - 2011
3 Structural Operational Semantics and Modal Logic, Revisited – Bartek Klin
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
1 A Category of Explicit Fusions – Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci - 2008
Thesis description: Name-passing process calculi: operational models and structural operational semantics. – Sam Staton