Predicate transformers for reasoning about concurrent computation

DOI10.1016/0167-6423(94)00033-BMaRDI QIDQ1893538zbMATH OpenFDO

Authors K. Mani Chandy, Beverly A. Sanders

Publication date 25 July 1995

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(94)00033-B

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Cited in

(5)

• A predicate transformer for the progress property `to-always'
• A foundation for modular reasoning about safety and progress properties of state-based concurrent programs
• Composing leads-to properties
• DUALITY: A simple formalism for the analysis of UNITY
• UNITY and Büchi automata

Describes a project that uses

Uses Software

• TLA

This page was built for publication: Predicate transformers for reasoning about concurrent computation

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