GSOS for Probabilistic Transition Systems (2002)

Cached

Download Links

by Falk Bartels
Citations:13 - 1 self

Documents Related by Co-Citation

194 Bisimulation can't be traced – B S Bloom, S Istrail, A R Meyer - 1988
122 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
135 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
3242 Communication and Concurrency – R Milner - 1989
407 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000