Probabilistic datatypes

DOI10.1007/978-3-031-77019-7_1MaRDI QIDQ6979834zbMATH OpenFDO

Authors Chris Chen, Annabelle McIver, Carroll Morgan

Publication date 23 May 2025

Full work available at URL https://doi.org/10.1007/978-3-031-77019-7_1

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1303997 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 738375 (Why is no real title available?)
• A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism
• A single complete rule for data refinement
• A theoretical basis for stepwise refinement and the programming calculus
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Abstraction, Refinement and Proof for Probabilistic Systems
• An axiomatic basis for computer programming
• Bisimulation through probabilistic testing
• Compositional closure for Bayes risk in probabilistic noninterference
• Data refinement of predicate transformers
• Fifty years of Hoare's logic
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Non-deterministic data types: Models and implementations
• On the Foundations of Quantitative Information Flow
• POMDPs under probabilistic semantics
• Quantitative Information Flow, Relations and Polymorphic Types
• Refinement Calculus
• The science of quantitative information flow

This page was built for publication: Probabilistic datatypes

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