no. 4
On Lamport's comparison between linear and branching time temporal logic
RAIRO. Informatique théorique, Volume 18 (1984) no. 4, pp. 345-353. 
@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  - 
%0 Journal Article
%A Graf, Susanne
%T On Lamport's comparison between linear and branching time temporal logic
%J RAIRO. Informatique théorique
%D 1984
%P 345-353
%V 18
%N 4
%I EDP-Sciences
%G en
%F ITA_1984__18_4_345_0
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. E. M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching time logic, Harvard University TR-12-81.

2. E. A. Emerson, Alternative semantics for temporal logics, University of Texas at Austin, TR-182.

3. E. A. Emerson and J. Y Halpern, Decision procedure and expressiveness in temporal logic of branching time, 14th Annual ACM Symp. on Theory of Computing, 1982.

4. E. A. Emerson and J. Y. Halpern, "Sometimes" and "Not Never" revisited: on branching versus linear time, ACM Symp. on Principals of Programming Languages.

5. L. Lamport, "Sometimes" is sometimes "Not Never", 7th Annual ACM Symp. on Principals of Programming Languages, 1980.

6. A. Pnueli, The temporal logic of concurrent Programs, 19th Annual Symp. on Foundations on Computer Science, 1971.

7. J. P. Queille and J. Sifakis, Specification and verification of concurrent Systems in CESAR, 5th International Symp. on Programming, 1982. | MR | Zbl