Nondeterminism and Probabilistic Choice: Obeying the Laws (2000)

View PDF

Download Links

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

Active Bibliography

6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
26 Axioms for Probability and Nondeterminism – Michael Mislove, Joël Ouaknine, James Worrell - 2003
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
670 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
EXPRESS 2003 Preliminary Version Axioms for Probability and Nondeterminism – Michael Mislove A, Joël Ouaknine B, James Worrell A
Axioms for Probability and Nondeterminism – unknown authors