Multisets and distributions

DOI10.1007/978-3-031-61716-4_11MaRDI QIDQ7030783zbMATH OpenFDO

Authors Dexter Kozen, Alexandra Silva

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-61716-4_11

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 6712178 (Why is no real title available?)
• scientific article; zbMATH DE number 1324656 (Why is no real title available?)
• scientific article; zbMATH DE number 1759622 (Why is no real title available?)
• scientific article; zbMATH DE number 7471702 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• A denotational semantics for low-level probabilistic programs with nondeterminism
• A monad for probabilistic point processes
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Axioms for probability and nondeterminism
• Combining probabilistic and non-deterministic choice via weak distributive laws
• Distributing probability over non-determinism
• FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
• Layer by layer -- combining monads

This page was built for publication: Multisets and distributions

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