A probabilistic theory of designs based on distributions

DOI10.1007/978-3-642-35705-3_5MaRDI QIDQ3455646zbMATH OpenOpenAlexFDO

Authors Riccardo Bresciani, Andrew Butterfield

Publication date 11 December 2015

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10344/2588

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• From distributions to probabilistic reactive programs
• Linking theories in probabilistic programming
• Integrated Formal Methods
• Normal design algebra
• Modal Design Algebra

Cites work

• scientific article; zbMATH DE number 3060775 (Why is no real title available?)
• Predicative programming Part I
• Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5--7, 2006. Revised selected papers.
• Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8--10, 2008. Revised selected papers
• Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15--16, 2010. Proceedings

Cited in

(4)

• Designs in finite metric spaces: a probabilistic approach
• From distributions to probabilistic reactive programs
• scientific article; zbMATH DE number 5991697 (Why is no real title available?)
• Denotational semantics and its algebraic derivation for an event-driven system-level language

This page was built for publication: A probabilistic theory of designs based on distributions

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