Specifying message passing systems requires extending temporal logic
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 213-223
- https://doi.org/10.1007/3-540-51803-7_28
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Expressing interesting properties of programs in propositional temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- The Analysis of Concurrent SystemsPublished by Springer Nature ,1985
- Can message buffers be axiomatized in linear temporal logic?Information and Control, 1984
- Can message buffers be characterized in linear temporal logic?Published by Association for Computing Machinery (ACM) ,1982
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977