A proof method for cyclic programs
- 1 January 1978
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 9 (2), 133-157
- https://doi.org/10.1007/bf00289074
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Proving properties of interacting processesActa Informatica, 1975
- Interference between communicating parallel processesCommunications of the ACM, 1972
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967