Distributing probability over non-determinism

Mathematical Structures in Computer Science

Volumn 16, Issue 1, 2006, Pages 87-113

  Varacca, Daniele ^a   Winskel, Glynn ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33749571594     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129505005074     Document Type: Review

References (30)

1. Abramsky, S. and Jung, A. (1994) Domain theory. In: Handbook of Logic in Computer Science 3, Clarendon Press.
2. Bandini, E. and Segala, R. (2001) Axiomatizations for probabilistic bisimulation. In: Proceedings of 28th ICALP. Springer-Verlag Lecture Notes in Computer Science 2076 370-381.
3. Bartels, F., Sokolova, A. and de Vink, E. (2003) A hierarchy of probabilistic system types. Electronic Notes in Theoretical Computer Science 82.
4. Beck, J. (1969) Distributive laws. In: Seminar on Triples and Categorical Homology Theory. Springer-Verlag Lecture Notes in Mathematics 80 119-140.
5. Chatterjee, K., de Alfaro, L. and Henzinger, T. A. (2004) Trading memory for randomness. In: Proceedings of first QEST 206-217.
6. Cohn, P. M. (1981) Universal Algebra, Reidel.
7. Gautam, N. (1957) The validity of equations of complex algebras. Archiv für Mathematische Logik und Grundlagenforschung 3 117-124.
8. Hansson, H. (1991) Time and Probability in Formal Design of Distributed systems, Ph.D. thesis, Uppsala University.
9. Herescu, M. and Palamidessi, C. (2000) Probabilistic asynchronous π-calculus. In: Proceedings of 3rd FoSSaCS. Springer-Verlag Lecture Notes in Computer Science 1784 146-160.
10. Hyland, M., Plotkin, G. D. and Power, J. (2002) Combining computational effects: Commutativity and sum. In: Proceedings of IFIP TCS, Kluwer 474-484.
11. Jones, C. (1990) Probabilistic Non-determinism, Ph.D. thesis, University of Edinburgh.
12. Jones, C. and Plotkin, G. D. (1989) A probabilistic powerdomain of evaluations. In: Proceedings of 4th LICS, IEEE Computer Society 186-195.
13. Jonsson, B., Larsen, K. and Yi, W. (2001) Probabilistic extensions of process algebras. In: Handbook of Process Algebras, Elsevier.
14. Kirch, O. (1993) Bereiche und Bewertungen. Master's thesis, Technische Hochschule Darmstadt.
15. Mac Lane, S. (1971) Categories for the Working Mathematician, Springer.
16. Mislove, M. (2000) Nondeterminism and probabilistic choice: Obeying the law. In: Proceedings of 11th CONCUR. Springer-Verlag Lecture Notes in Computer Science 1877 350-364.
17. Mislove, M. (2005) Discrete random variables over domains. In: Proceedings of 32nd ICALP. Springer-Verlag Lecture Notes in Computer Science 3580.
18. Moggi, E. (1991) Notions of computation and monads. Information and Computation: 93 (1) 55-92.
19. Morgan, C. C., McIver, A., Seidel, K. and Sanders, J. W. (1994) Refinement-oriented probability for CSP. Technical Report PRG-TR-12-94, Oxford University Computing Laboratory.
20. Plotkin, G. D. (1983) Domains, University of Edinburgh.
21. Plotkin, G. D. and Power, J. (2002) Notions of computation determine monads. In: Proc of 5th FOSSACS. 2303 342-256.
22. Segala, R. (1995) Modeling and Verification of Randomized Distributed Real-Time Systems. Ph.D. thesis, M.I.T.
23. Segala, R. and Lynch, N. (1995) Probabilistic simulations for probabilistic processes. Nordic Journal of Computing 2 (2) 250-273.
24. (An extended abstract appears in: Proceedings of 5th CONCUR. Springer-Verlag Lecture Notes in Computer Science 836 481-496.)
25. Stoelinga, M. (2002) An introduction to probabilistic automata. Bulletin of the European Association for Theoretical Computer Science 78 176-198.
26. Tix, R. (1999) Continuous D-Cones: Convexity and Powerdomain Constructions, Ph.D. thesis, Technische Universität Darmstadt.
27. Tix, R., Keimel, K. and Plotkin, G. D. (2005) Semantic domains for combining probability and non-determinism. Electronic Notes in Theoretical Computer Science 129 1-104.
28. Varacca, D. (2002) The powerdomain of indexed valuations. In: Proceedings of 17th LICS, IEEE Computer Society.
29. Varacca, D. (2003) Probability, Nondeterminism and Concurrency. Two Denotational Models for Probabilistic Computation, Ph.D. thesis, BRICS - Aarhus University. (Available at www.brics.dk/DS/03/14.)
30. Vardi, M. Y. (1985) Automatic verification of probabilistic concurrent finite-state programs. In: Proceedings of 26th FOCS 327-338.