Proving precedence properties: The temporal way
- 25 January 2006
- book chapter
- Published by Springer Science and Business Media LLC
- p. 491-512
- https://doi.org/10.1007/bfb0036932
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- How to cook a temporal proof system for your pet languagePublished by Association for Computing Machinery (ACM) ,1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Verification of Concurrent Programs. Part II. Temporal Proof Principles.Published by Defense Technical Information Center (DTIC) ,1981
- Myths about the mutual exclusion problemInformation Processing Letters, 1981
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976