A generalization of Owicki-Gries's Hoare logic for a concurrent while language
Open Access
- 30 June 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 58 (1-3) , 347-359
- https://doi.org/10.1016/0304-3975(88)90033-3
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A proof technique for parallel programsTheoretical Computer Science, 1984
- Recursive assertions and parallel programsActa Informatica, 1981
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- An axiomatic proof technique for parallel programs IActa Informatica, 1976