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

Cached

Download Links

by Falk Bartels
Citations:1 - 1 self

Documents Related by Co-Citation

407 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
194 Bisimulation can't be traced – B S Bloom, S Istrail, A R Meyer - 1988
162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
122 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
89 Coalgebraic Logic – Lawrence S. Moss - 1999
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
68 Probabilistic Extensions of Process Algebras – Bengt Jonsson, Kim G. Larsen, Wang Yi - 2001
39 Compositional verification of probabilistic processes – K G Larsen, A Skou - 1992
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000