Semantic domains for combining probability and non-determinism
From MaRDI portal
Publication:371259
zbMath1271.68005MaRDI QIDQ371259
Klaus Keimel, Regina Tix, Gordon D. Plotkin
Publication date: 30 September 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/222
Scott topologyprobabilistic powerdomaincontinuous domainsconvex powerdomainsdomain-theoretic modelssemantic domains
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Continuous lattices and posets, applications (06B35)
Related Items (24)
Layout randomization and nondeterminism ⋮ A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ In memoriam: Klaus Keimel (1939--2017) ⋮ Unnamed Item ⋮ Convex lattice equation systems ⋮ Isomorphism theorems between models of mixed choice ⋮ Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism ⋮ Healthiness conditions for predicate transformers ⋮ Data Refinement with Probability in Mind ⋮ A trustful monad for axiomatic reasoning with probability and nondeterminism ⋮ A monad for randomized algorithms ⋮ The probabilistic powerdomain from a topological viewpoint ⋮ Anatomy of a domain of continuous random variables. I ⋮ Layout Randomization and Nondeterminism ⋮ Anatomy of a Domain of Continuous Random Variables II ⋮ Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ Weak topologies and compactness in asymmetric functional analysis ⋮ Unnamed Item ⋮ Probabilistic NetKAT ⋮ 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 ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: Semantic domains for combining probability and non-determinism
