@article{ITA_1984__18_4_345_0, author = {Graf, Susanne}, title = {On {Lamport's} comparison between linear and branching time temporal logic}, journal = {RAIRO. Informatique th\'eorique}, pages = {345--353}, publisher = {EDP-Sciences}, volume = {18}, number = {4}, year = {1984}, zbl = {0551.68033}, mrnumber = {775837}, language = {en}, url = {http://www.numdam.org/item/ITA_1984__18_4_345_0/} }
TY - JOUR AU - Graf, Susanne TI - On Lamport's comparison between linear and branching time temporal logic JO - RAIRO. Informatique théorique PY - 1984 DA - 1984/// SP - 345 EP - 353 VL - 18 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1984__18_4_345_0/ UR - https://zbmath.org/?q=an%3A0551.68033 UR - https://www.ams.org/mathscinet-getitem?mr=775837 LA - en ID - ITA_1984__18_4_345_0 ER -
Graf, Susanne. On Lamport's comparison between linear and branching time temporal logic. RAIRO. Informatique théorique, Volume 18 (1984) no. 4, pp. 345-353. http://www.numdam.org/item/ITA_1984__18_4_345_0/
1. Design and synthesis of synchronization skeletons using branching time logic, Harvard University TR-12-81.
and ,2. Alternative semantics for temporal logics, University of Texas at Austin, TR-182.
,3. Decision procedure and expressiveness in temporal logic of branching time, 14th Annual ACM Symp. on Theory of Computing, 1982.
and ,4. "Sometimes" and "Not Never" revisited: on branching versus linear time, ACM Symp. on Principals of Programming Languages.
and ,5. "Sometimes" is sometimes "Not Never", 7th Annual ACM Symp. on Principals of Programming Languages, 1980.
,6. The temporal logic of concurrent Programs, 19th Annual Symp. on Foundations on Computer Science, 1971.
,7. Specification and verification of concurrent Systems in CESAR, 5th International Symp. on Programming, 1982. | MR | Zbl
and ,