From Bialgebraic Semantics to Congruence Formats (2005)

Cached


by Bartek Klin
Citations:10 - 4 self

Active Bibliography

56 A brief history of process algebra – J. C. M. Baeten - 2004
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
7 Structural Operational Semantics for Stochastic Process Calculi – Bartek Klin, Vladimiro Sassone
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
Axiomatizing Weak Simulation Semantics over BCCSP ⋆ – Luca Aceto, David De Frutos Escrig, Anna Ingolfsdottir
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
Notions of bisimulation and congruence formats – Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote - 2004
Bialgebraic Operational Semantics and Modal Logic (extended abstract) – Bartek Klin
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
25 Undecidable Equivalences for Basic Parallel Processes – Hans Hüttel - 1993
SOS Rule Formats for Zero and Unit Elements ✩ – Luca Aceto A, Matteo Cimini A, Anna Ingolfsdottir A, Mousavi B, Michel A. Reniers B
2 Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2005
1 The equational theory of weak complete simulation semantics over BCCSP – Luca Aceto, David De Frutos-escrig, Carlos Gregorio-rodríguez, Anna Ingólfsdóttir - 2012
103 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999