An Axiomatic Semantics of Concurrent Programming Languages
- 1 January 1985
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 8 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
- Reasoning about nonatomic operationsPublished by Association for Computing Machinery (ACM) ,1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- A unified approach for studying the properties of transition systemsTheoretical Computer Science, 1982
- The ?Hoare logic? of concurrent programsActa Informatica, 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