Nondeterminism and Probabilistic Choice: Obeying the Laws (2000)

Cached

Download Links

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

Documents Related by Co-Citation

15 Continuous D-cones: Convexity and Powerdomain Constructions – R Tix - 1999
137 Probabilistic Non-determinism – C Jones - 1990
10 The powerdomain of indexed valuations – Copyright C, Daniele Varacca, Daniele Varacca, Daniele Varacca - 2002
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
42 The troublesome probabilistic powerdomain – Achim Jung, Regina Tix - 1998
270 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
730 Notions of Computation and Monads – Eugenio Moggi - 1991
210 A powerdomain construction – G. D. Plotkin - 1976
17 Stetige Bewertungen auf topologischen Räumen – R Tix - 1995
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
163 An abstract view of programming languages – E Moggi - 1989
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
106 PROBABILISTIC PREDICATE TRANSFORMERS – Carroll Morgan, Annabelle McIver, Karen Seidel, JW Sanders - 1995
15 Probabilistic Models for the Guarded Command Language – He Jifeng, A. Mciver, K. Seidel - 1995
59 Continuous Lattices and Domains – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 2003
394 Algebraic Theory of Processes – M Hennessy - 1988
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005