A predicate transformer for progress
- 1 February 1990
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 33 (6) , 323-330
- https://doi.org/10.1016/0020-0190(90)90218-m
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A predicate transformer approach to semantics of parallel programsPublished by Association for Computing Machinery (ACM) ,1989
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977