From distributions to probabilistic reactive programs

DOI10.1007/978-3-642-39718-9_6zbMATH Open1405.68073OpenAlexW1902427606MaRDI QIDQ2851902FDOQ2851902

Authors: Riccardo Bresciani, Andrew Butterfield 

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

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

Recommendations

• A probabilistic theory of designs based on distributions
• Reactive Probabilistic Programs and Refinement Algebra
• Refinement-oriented probability for CSP
• Probabilistic concurrent constraint programming
• scientific article; zbMATH DE number 1324652

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (2)

• Denotational semantics and its algebraic derivation for an event-driven system-level language
• A probabilistic theory of designs based on distributions

This page was built for publication: From distributions to probabilistic reactive programs

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