Probabilistic Choice in Refinement Algebra

DOI10.1007/978-3-540-70594-9_14MaRDI QIDQ3521991zbMATH OpenOpenAlexFDO

Authors Ian Hayes, Larissa A. Meinicke

Publication date 28 August 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70594-9_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Refinement algebra for probabilistic programs
• Refinement Algebra with Operators for Enabledness and Termination
• Enabledness and termination in refinement algebra
• Reactive Probabilistic Programs and Refinement Algebra
• Algebraic reasoning for probabilistic action systems and while-loops

Cites work

• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• scientific article; zbMATH DE number 2090029 (Why is no real title available?)
• Abstraction, Refinement and Proof for Probabilistic Systems
• Algebraic reasoning for probabilistic action systems and while-loops
• Kleene algebra with domain
• Mathematics of Program Construction
• On Two Dually Nondeterministic Refinement Algebras
• Reactive Probabilistic Programs and Refinement Algebra
• Refinement Algebra with Operators for Enabledness and Termination
• Towards a refinement algebra

Cited in

(7)

• Reactive Probabilistic Programs and Refinement Algebra
• Refinement Algebra with Operators for Enabledness and Termination
• Abstract representation theorems for demonic refinement algebras
• Refinement algebra for probabilistic programs
• Processes and formalisms for unbounded choice
• Encoding and decoding in refinement algebra
• Algebraic reasoning for probabilistic action systems and while-loops

This page was built for publication: Probabilistic Choice in Refinement Algebra

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