Probabilistic Completion of Nondeterministic Models

DOI10.1016/j.entcs.2007.02.028zbMath1316.68065OpenAlexW2022168243MaRDI QIDQ5262931

Guy 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

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

Related Items (1)

A trustful monad for axiomatic reasoning with probability and nondeterminism

Cites Work

• Retracted: Semantic domains for combining probability and non-determinism
• Combining effects: sum and tensor
• A Powerdomain Construction
• Distributing probability over non-determinism
• Algebra and Coalgebra in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Probabilistic Completion of Nondeterministic Models