Probabilistic completion of nondeterministic models

DOI10.1016/J.ENTCS.2007.02.028MaRDI QIDQ5262931zbMATH OpenOpenAlexFDO

Authors G. Beaulieu

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.028

zbMATH Keywords

functorial factorizationcombining categorical theoriesconvex completion with respect to a semilatticemixed choice theory

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1759622
• scientific article
• Isomorphism theorems between models of mixed choice
• Semantic domains for combining probability and non-determinism
• Prevision Domains and Convex Powercones

Cites work

• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 1231645 (Why is no real title available?)
• scientific article; zbMATH DE number 1469900 (Why is no real title available?)
• scientific article; zbMATH DE number 1759622 (Why is no real title available?)
• scientific article; zbMATH DE number 3806938 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 1456958 (Why is no real title available?)
• A Powerdomain Construction
• Algebra and Coalgebra in Computer Science
• Axioms for probability and nondeterminism
• Combining effects: sum and tensor
• Distributing probability over non-determinism
• Retracted: Semantic domains for combining probability and non-determinism

Cited in

(6)

• Positive definite completion problems for Bayesian networks
• Prevision Domains and Convex Powercones
• Brief Introduction to Probabilistic Compositional Models
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Isomorphism theorems between models of mixed choice
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism

This page was built for publication: Probabilistic completion of nondeterministic models

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