GSOS for Probabilistic Transition Systems (2002)

Cached

Download Links

by Falk Bartels
Citations:13 - 1 self

Active Bibliography

1 GSOS for probabilistic transition systems (Extended Abstract) – 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
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
22 Modular construction of modal logics – Corina CĂ®rstea, Dirk Pattinson - 2004
27 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
Generalized Coinduction – Falk Bartels - 2003
16 Generalised Coinduction – Falk Bartels - 2001
2 Weak Bisimulation for Action-Type Coalgebras – Ana Sokolova, Erik de Vink, Harald Woracek
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
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics – Daniel Gebler, Wan Fokkink
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
8 Coalgebraic semantics for timed processes – Marco Kick, John Power, Alex Simpson - 2006
Bialgebraic Operational Semantics and Modal Logic (extended abstract) – Bartek Klin