The ?Hoare logic? of concurrent programs
- 1 June 1980
- journal article
- Published by Springer Science and Business Media LLC in Acta Informatica
- Vol. 14 (1), 21-37
- https://doi.org/10.1007/bf00289062
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Proving assertions about parallel programsJournal of Computer and System Sciences, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsProceedings of Symposia in Applied Mathematics, 1967