The anchored version of the temporal framework
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 201-284
- https://doi.org/10.1007/bfb0013024
Abstract
No abstract availableThis publication has 36 references indexed in Scilit:
- The existence of refinement mappingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Recognizing safety and livenessDistributed Computing, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- A classification of ω-regular languagesTheoretical Computer Science, 1985
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- The temporal logic of branching timeActa Informatica, 1983
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983
- The Science of ProgrammingPublished by Springer Nature ,1981
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980