Predicate transformers for reasoning about concurrent computation
- 30 April 1995
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 24 (2), 129-147
- https://doi.org/10.1016/0167-6423(94)00033-b
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Eliminating the substitution axiom from UNITY logicFormal Aspects of Computing, 1991
- win and sin : predicate transformers for concurrencyACM Transactions on Programming Languages and Systems, 1990
- A predicate transformer for progressInformation Processing Letters, 1990
- Tentative steps toward a development method for interfering programsACM Transactions on Programming Languages and Systems, 1983