GSOS for Probabilistic Transition Systems (2002)

Cached

Download Links

by Falk Bartels
Citations:13 - 1 self

Documents Related by Co-Citation

196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
19 An abstract coalgebraic approach to process equivalence for well-behaved operational semantics – Bartosz Klin - 2004
8 Rule formats for timed processes – M Kick - 2002
8 Compositionality of Hennessy-Milner logic through structural operational semantics – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2003
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
10 Bialgebraic modelling of timed processes – M Kick - 2002
3219 Communication and Concurrency – R Milner - 1990
54 Ntyft/ntyxt rules reduce to ntree rules – Wan Fokkink, Rob Van Glabbeek - 1996
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
11 Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS – Alex Simpson - 2003