Bialgebraic Operational Semantics and Modal Logic (extended abstract)

by Bartek Klin

Active Bibliography

8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
10 Coalgebraic modal logic beyond Sets – Bartek Klin - 2007
3 Structural Operational Semantics and Modal Logic, Revisited – Bartek Klin
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
7 Structural Operational Semantics for Stochastic Process Calculi – Bartek Klin, Vladimiro Sassone
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
Thesis description: Name-passing process calculi: operational models and structural operational semantics. – Sam Staton
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
11 Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS – Alex Simpson - 2003
7 Compositionality of Hennessy-Milner logic by structural operational semantics – Wan Fokkink , Rob van Glabbeek , Paulien de Wind - 2006
8 Compositionality of Hennessy-Milner logic through structural operational semantics – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2003
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics – Daniel Gebler, Wan Fokkink
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
6 A Hierarchy of SOS Rule Formats – Jan Friso Groote, MohammadReza Mousavi, Michel A. Reniers - 2005
7 General structural operational semantics through categorical logic (Extended Abstract) – Sam Staton - 2008