Refinement algebra for probabilistic programs
From MaRDI portal
Publication:2268474
DOI10.1007/S00165-009-0111-1zbMATH Open1183.68198OpenAlexW2084581205MaRDI QIDQ2268474FDOQ2268474
Authors: Kim Solin, Larissa A. Meinicke 
Publication date: 8 March 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-009-0111-1
Recommendations
- Reactive Probabilistic Programs and Refinement Algebra
- Probabilistic Choice in Refinement Algebra
- CONCUR 2005 – Concurrency Theory
- scientific article; zbMATH DE number 3890702
- Fine-grained semantics for probabilistic programs
- Probabilistic -calculus and Quantitative Program Analysis
- A generalisation of stationary distributions, and probabilistic program algebra
- Reasoning about Recursive Probabilistic Programs
- Abstraction Refinement for Probabilistic Software
Cites Work
- Title not available (Why is that?)
- Refinement Calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning algebraically about loops
- A completeness theorem for Kleene algebras and the algebra of regular events
- Towards a refinement algebra
- Title not available (Why is that?)
- Abstraction, Refinement and Proof for Probabilistic Systems
- Using Probabilistic Kleene Algebra for Protocol Verification
- Towards Automated Proof Support for Probabilistic Distributed Systems
- Reduction
- Title not available (Why is that?)
- Reactive Probabilistic Programs and Refinement Algebra
- Probabilistic Choice in Refinement Algebra
- Refinement Algebra with Operators for Enabledness and Termination
- On Two Dually Nondeterministic Refinement Algebras
- Monodic Tree Kleene Algebra
- Almost-certain eventualities and abstract probabilities in the temporal logic PTL
- Algebraic reasoning for probabilistic action systems and while-loops
Cited In (17)
- Reactive Probabilistic Programs and Refinement Algebra
- Probabilistic Choice in Refinement Algebra
- Refinement Algebra with Operators for Enabledness and Termination
- Reasoning about probabilistic sequential programs in a probabilistic logic
- Algebra of monotonic Boolean transformers
- Normal forms in total correctness for while programs and action systems
- A generalisation of stationary distributions, and probabilistic program algebra
- On Two Dually Nondeterministic Refinement Algebras
- ZB 2005: Formal Specification and Development in Z and B
- Integrating stochastic reasoning into Event-B development
- Linking theories of probabilistic programming
- Invariants and well-foundedness in program algebra
- CONCUR 2005 – Concurrency Theory
- Towards a linear algebra of programming
- Unifying Theories of Programming with Monads
- Algebraic reasoning for probabilistic action systems and while-loops
- An algebraic treatment of procedure refinement to support mechanical verification
This page was built for publication: Refinement algebra for probabilistic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2268474)
