Nondeterminism and Probabilistic Choice: Obeying the Laws (2000)

Cached

Download Links

by Michael Mislove
Venue:In Proc. 11th CONCUR, volume 1877 of LNCS
Citations:27 - 2 self

Active Bibliography

6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
649 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
641 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
23 Axioms for Probability and Nondeterminism – Michael Mislove, Joël Ouaknine, James Worrell - 2003
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
EXPRESS 2003 Preliminary Version Axioms for Probability and Nondeterminism – Michael Mislove A, Joël Ouaknine B, James Worrell A
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
7 A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes – M. Z. Kwiatkowska, G. J. Norman - 1998