GSOS for probabilistic transition systems (Extended Abstract) (2002)

Cached

Download Links

by Falk Bartels
Citations:1 - 1 self

Active Bibliography

13 GSOS for Probabilistic Transition Systems – Falk Bartels - 2002
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
27 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004
16 Generalised Coinduction – Falk Bartels - 2001
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics – Daniel Gebler, Wan Fokkink
22 Modular construction of modal logics – Corina CĂ®rstea, Dirk Pattinson - 2004
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
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
2 Weak Bisimulation for Action-Type Coalgebras – Ana Sokolova, Erik de Vink, Harald Woracek
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998