Reactive Probabilistic Programs and Refinement Algebra

DOI10.1007/978-3-540-78913-0_23MaRDI QIDQ3498423zbMATH OpenOpenAlexFDO

Authors Kim Solin, Larissa A. Meinicke

Publication date 15 May 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78913-0_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Refinement algebra for probabilistic programs
• Probabilistic Choice in Refinement Algebra
• Algebraic reasoning for probabilistic action systems and while-loops
• scientific article; zbMATH DE number 2090704
• Abstraction, Refinement and Proof for Probabilistic Systems

Cites work

• A sequential real-time refinement calculus
• Algebraic notions of nontermination: Omega and divergence in idempotent semirings
• Algebraic Notions of Termination
• scientific article; zbMATH DE number 2090029 (Why is no real title available?)
• scientific article; zbMATH DE number 1400096 (Why is no real title available?)
• Mathematics of Program Construction
• Monodic Tree Kleene Algebra
• On Two Dually Nondeterministic Refinement Algebras
• Refinement algebra for probabilistic programs
• Refinement Algebra with Operators for Enabledness and Termination
• Towards a refinement algebra
• Using Probabilistic Kleene Algebra for Protocol Verification

Cited in

(9)

• Refinement algebra for probabilistic programs
• From distributions to probabilistic reactive programs
• Probabilistic Choice in Refinement Algebra
• scientific article; zbMATH DE number 1324652 (Why is no real title available?)
• A generalisation of stationary distributions, and probabilistic program algebra
• Abstract representation theorems for demonic refinement algebras
• Linking theories of probabilistic programming
• Enabledness and termination in refinement algebra
• Algebraic reasoning for probabilistic action systems and while-loops

This page was built for publication: Reactive Probabilistic Programs and Refinement Algebra

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