Distributing probability over non-determinism
From MaRDI portal
Publication:5466795
DOI10.1017/S0960129505005074zbMath1093.18002OpenAlexW1970904244MaRDI QIDQ5466795
Glynn Winskel, Daniele Varacca
Publication date: 22 May 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129505005074
Semantics in the theory of computing (68Q55) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
Traces, Executions and Schedulers, Coalgebraically ⋮ Identifying all preorders on the subdistribution monad ⋮ Weakest preconditions in fibrations ⋮ Iterated covariant powerset is not a monad ⋮ Unifying Theories of Programming with Monads ⋮ Convexity via Weak Distributive Laws ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Categories of Empirical Models ⋮ A coalgebraic approach to non-determinism: applications to multilattices ⋮ Convex lattice equation systems ⋮ Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism ⋮ Factorisations of distributive laws ⋮ Smart Choices and the Selection Monad ⋮ Deterministic concurrent strategies ⋮ A unification of probabilistic choice within a design-based model of reversible computation ⋮ Extending algebraic operations to D-completions ⋮ Lattices do not distribute over powerset ⋮ Unnamed Item ⋮ Conditioning in probabilistic programming ⋮ Unnamed Item ⋮ Data Refinement with Probability in Mind ⋮ Combining semilattices and semimodules ⋮ A trustful monad for axiomatic reasoning with probability and nondeterminism ⋮ A monad for randomized algorithms ⋮ Unnamed Item ⋮ Trust in event structures ⋮ Causality in physics and computation ⋮ Relating strong behavioral equivalences for processes with nondeterminism and probabilities ⋮ Anatomy of a domain of continuous random variables. I ⋮ Anatomy of a Domain of Continuous Random Variables II ⋮ Probabilistic anonymity via coalgebraic simulations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Probabilistic NetKAT ⋮ Categories of Timed Stochastic Relations ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ Unnamed Item ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ Weakest preconditions in fibrations ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ Probabilistic Analysis of Binary Sessions ⋮ Unnamed Item ⋮ Trace semantics via determinization ⋮ Remarks on Testing Probabilistic Processes ⋮ Algebraic presentation of semifree monads ⋮ Probabilistic Completion of Nondeterministic Models ⋮ Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
This page was built for publication: Distributing probability over non-determinism