Can I read Axioms for Probability and Nondeterminism on EtoBox?

Axioms for Probability and Nondeterminism by Michael Mislove; Joël Ouaknine; James Worrell is a Computer Science article available to read on EtoBox.

What is Axioms for Probability and Nondeterminism about?

This paper studies a simple calculus for finite-state processes featuring both nondeterministic and probabilistic choice. We present a domain model and an operational semantics for our calculus. The denotational model uses the probabilistic powerdomain of Jones and Plotkin, combined with a geometrically convex variant of the Plotkin powerdomain. The operational model defines transition rules under which a process makes transitions to probability distributions over states. We prove a full abstraction result that shows two processes have the same denotation if and only if they are probabilistically bisimilar. We also show that the expected laws for probability and nondeterminism are sound and complete with respect to the denotational model.

Who reads Axioms for Probability and Nondeterminism?

Author

Michael Mislove; Joël Ouaknine; James Worrell

Publisher

Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)

Published

2004

Language

EN

Field

Computer Science (Physical Sciences)