Axioms for probability and nondeterminism
From MaRDI portal
Publication:2847403
zbMATH Open1271.68192MaRDI QIDQ2847403FDOQ2847403
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
Recommendations
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)
Cited In (30)
- Simulation Hemi-metrics between Infinite-State Stochastic Games
- Quantitative Kleene coalgebras
- Axiomatizations for probabilistic finite-state behaviors
- A Probabilistic Applied Pi–Calculus
- Making random choices invisible to the scheduler
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
- Complete axiomatization for the total variation distance of Markov chains
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Probability and Nondeterminism in Operational Models of Concurrency
- Non-Archimedean probability: Frequency and axiomatics theories
- Discrete random variables over domains
- Title not available (Why is that?)
- Proving approximate implementations for probabilistic I/O automata
- Title not available (Why is that?)
- Domain equations for probabilistic processes
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- Title not available (Why is that?)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours
- Remarks on testing probabilistic processes
- Monads for measurable queries in probabilistic databases
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Convexity via Weak Distributive Laws
- A posteriori conditional general expected value with product-product operation in nondeterministic decision processes
- Title not available (Why is that?)
- Data refinement with probability in mind
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Probabilistic completion of nondeterministic models
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)
