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

Cached

Download Links

by Falk Bartels
Citations:1 - 1 self

Documents Related by Co-Citation

24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
10 Bialgebraic modelling of timed processes – M Kick - 2002
8 Rule formats for timed processes – M Kick - 2002
89 Coalgebraic Logic – Lawrence S. Moss - 1999
16 Generalised Coinduction – Falk Bartels - 2001
67 Probabilistic Extensions of Process Algebras – Bengt Jonsson, Kim G. Larsen, Wang Yi - 2001
194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
401 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
162 A nal coalgebra theorem – P Aczel, N Mendler - 1989
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
121 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
39 Compositional verification of probabilistic processes – K G Larsen, A Skou - 1992