On Lamport's comparison between linear and branching time temporal logic
- 1 January 1984
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 18 (4), 345-353
- https://doi.org/10.1051/ita/1984180403451
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- "Sometimes" and "not never" revisitedPublished by Association for Computing Machinery (ACM) ,1983
- Decision procedures and expressiveness in the temporal logic of branching timePublished by Association for Computing Machinery (ACM) ,1982
- Specification and verification of concurrent systems in CESARLecture Notes in Computer Science, 1982
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980