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

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

Active Bibliography

Bialgebraic Operational Semantics and Modal Logic (extended abstract) – Bartek Klin
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
10 Coalgebraic modal logic beyond Sets – Bartek Klin - 2007
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
3 Structural Operational Semantics and Modal Logic, Revisited – Bartek Klin
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
7 General structural operational semantics through categorical logic (Extended Abstract) – Sam Staton - 2008
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
2 Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2005
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002
13 GSOS for Probabilistic Transition Systems – Falk Bartels - 2002
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics – Daniel Gebler, Wan Fokkink