Predicate transformers for reasoning about concurrent computation
From MaRDI portal
Publication:1893538
DOI10.1016/0167-6423(94)00033-BzbMath0939.68645MaRDI QIDQ1893538
K. Mani Chandy, Beverly A. Sanders
Publication date: 25 July 1995
Published in: Science of Computer Programming (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items
DUALITY: A simple formalism for the analysis of UNITY ⋮ A predicate transformer for the progress property `to-always' ⋮ A foundation for modular reasoning about safety and progress properties of state-based concurrent programs ⋮ UNITY and Büchi automata ⋮ Composing leads-to properties
Uses Software
