A proof technique for rely/guarantee properties
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 369-391
- https://doi.org/10.1007/3-540-16042-6_21
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Proving safety and liveness of communicating processes with examplesPublished by Association for Computing Machinery (ACM) ,1982
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- Modular program construction using abstractionsPublished by Springer Nature ,1980
- "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
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967