On Combining Probability and Nondeterminism

Electronic Notes in Theoretical Computer Science

Volumn 162, Issue 1, 2006, Pages 261-265

  Mislove, M W ^a  

^a Tulane University   (United States)

Author keywords

CCS; distributive law; domain theory; Probabilistic choice; valuations

Indexed keywords

COMPUTER SCIENCE; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBABILISTIC LOGICS; PROBLEM SOLVING;

CCS; DISTRIBUTIVE LAW; DOMAIN THEORY; PROBABILISTIC CHOICE; VALUATIONS;

PROBABILITY;

EID: 33748902067     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.113     Document Type: Article

References (15)

1. Abramsky S., and Jung A. Doman Theory. In: Abramsky S., Gabbay D.M., and Maibaum T.S.E. (Eds). Handbook of Logic in Computer Science (1994), Clarendon Press 1-168
2. Beck, J., Distributive laws, in: Seminar on Triples and Categorical Homology Theory, 1969, pp. 119-140
3. Gautem N.J. The validity of equations of complex algebras. Archiv für Mathematische Logik und Grundlagenforschung 3 (1957) 117-124
4. Graham S.K. Closure properties of a probabilistic domain construction. Lecture Notes in Computer Science 298 (1985) 213-233
5. Hennessy M., and Plotkin G.D. Full abstraction for a simple parallel programming language. Lecture Notes in Computer Science 74 (1979) 108-120
6. Jones, C., "Probabilistic Nondeterminism," PhD Dissertation, University of Edinburgh, Scotland, 1989
7. Keimel K., Plotkin G., and Tix R. Semantic domains for combining probability and non-determinism. Electronic Notes in Theoretical Computer Science 129 (2005) 104
8. Mislove M. Discrete random variables over domains. ICALP 2005. LNCS 3580 (2005) 1006-1017
9. Mislove M. Nondeterminism and probabilistic choice: Obeying the laws. Lecture Notes in Computer Science 1877 (2000) 350-364
10. Mislove M. Monoids over domains. Mathematical Structures in Computer Science 16 (2006) 255-277
11. Mislove, M., J. Ouaknine and J.B. Worrell, Axioms for probability and nondeterminism, Proceedings of EXPRESS 2003, Electronic Notes in Theoretical Computer Science 91(3), Elsevier
12. Morgan, C. et al., Refinement-oriented probability for CSP, Technical Report PRG-TR-12-94, Oxford University Computing Laboratory, 1994
13. Tix, R., "Continuous D-Cones: Convexity and Powerdomain Constructions," PhD Thesis, Technische Universität Darmstadt, 1999
14. Varacca D. The powerdomain of indexed valuations. Proceedings 17th IEEE Symposium on Logic in Computer Science. (LICS 2002) (2002), IEEE Press
15. Varacca, D, "Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation," PhD Dissertation, Aarhus University, Aarhus, Denmark, 2003