Algebraic reasoning for probabilistic action systems and while-loops
type: Item
instance of: scholarly article
title: Algebraic reasoning for probabilistic action systems and while-loops
zbMATH Open document ID: 1161.68014
author: Ian Hayes
author: Larissa A. Meinicke
published in: Acta Informatica
publication date: 2008-08-19T00:00:00Z
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5313101
zbMATH Keywords: algebraic laws for reasoning
MaRDI profile type: Publication
full work available at URL: s00236-008-0073-4
OpenAlex ID: W2104717253
cites work: Distributed cooperation with action systems
cites work: Superposition refinement of reactive systems
cites work: Refinement Calculus
cites work: Reasoning algebraically about loops
cites work: FM 2005: Formal Methods
cites work: Q2721093
cites work: Q4692885
cites work: Q4144755
cites work: Q4692630
cites work: Reasoning about real-time repetitions: Terminating and nonterminating
cites work: Q4484343
cites work: Q4362921
cites work: Demonic, angelic and unbounded probabilistic choices in sequential programs
cites work: Abstraction, Refinement and Proof for Probabilistic Systems
cites work: Q4250666
cites work: Towards Automated Proof Support for Probabilistic Distributed Systems
cites work: Using Probabilistic Kleene Algebra for Protocol Verification
cites work: Mathematics of Program Construction
cites work: Q4301161
cites work: Almost-certain eventualities and abstract probabilities in the temporal logic PTL
cites work: Refinement Algebra with Operators for Enabledness and Termination
cites work: Q4939620
cites work: Q4808696
cites work: Towards a refinement algebra
DOI: 10.1007/S00236-008-0073-4
description: scientific article; zbMATH DE number 5313101