Axioms for probability and nondeterminism

MaRDI QIDQ2847403zbMATH OpenFDO

Authors Joël Ouaknine, Michael Mislove, James Worrell

Publication date 9 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104050297

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Foundations of Software Science and Computational Structures
• Axiomatizations for probabilistic finite-state behaviors
• scientific article; zbMATH DE number 1759622
• A Probabilistic Applied Pi–Calculus
• Probability and Nondeterminism in Operational Models of Concurrency

Cited in

(31)

• Convexity via Weak Distributive Laws
• Monads for measurable queries in probabilistic databases
• Domain equations for probabilistic processes
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Proving approximate implementations for probabilistic I/O automata
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• scientific article; zbMATH DE number 17696 (Why is no real title available?)
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Infinite choice and probability distributions. An open problem: the real hotel
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• Probabilistic completion of nondeterministic models
• Data refinement with probability in mind
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• A Probabilistic Applied Pi–Calculus
• Making random choices invisible to the scheduler
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
• Remarks on testing probabilistic processes
• scientific article; zbMATH DE number 7566077 (Why is no real title available?)
• Simulation Hemi-metrics between Infinite-State Stochastic Games
• Non-Archimedean probability: Frequency and axiomatics theories
• Complete axiomatization for the total variation distance of Markov chains
• A posteriori conditional general expected value with product-product operation in nondeterministic decision processes
• scientific article; zbMATH DE number 1759622 (Why is no real title available?)
• Quantitative Kleene coalgebras
• Discrete random variables over domains
• On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
• Deriving Syntax and Axioms for Quantitative Regular Behaviours
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Axiomatizations for probabilistic finite-state behaviors
• Probability and Nondeterminism in Operational Models of Concurrency

This page was built for publication: Axioms for probability and nondeterminism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847403)