Trace Semantics for Coalgebras (2003)

Cached

Download Links

by Bart Jacobs
Citations:18 - 7 self

Active Bibliography

4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
7 Structural Operational Semantics for Stochastic Process Calculi – Bartek Klin, Vladimiro Sassone
Bialgebraic Operational Semantics and Modal Logic (extended abstract) – Bartek Klin
Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum ∗ – Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach
2 Combining a Monad and a Comonad – John Power, Hiroshi Watanabe
Towards Effects in Mathematical Operational Semantics – Faris Abou-saleh, Dirk Pattinson
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
3 Structural Operational Semantics and Modal Logic, Revisited – Bartek Klin
7 Generalizing the powerset construction, coalgebraically – Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten - 2010
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002