An axiomatic proof technique for parallel programs I
- 1 January 1976
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 6 (4) , 319-340
- https://doi.org/10.1007/bf00268134
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Mechanizable proofs about parallel processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1973
- Program proving: CoroutinesActa Informatica, 1973
- Synchronization of communicating processesCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968