On Lamport's comparison between linear and branching time temporal logic

Susanne Graf

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1984)

  • Volume: 18, Issue: 4, page 345-353
  • ISSN: 0988-3754

How to cite

top

Graf, Susanne. "On Lamport's comparison between linear and branching time temporal logic." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 18.4 (1984): 345-353. <http://eudml.org/doc/92215>.

@article{Graf1984,
author = {Graf, Susanne},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {expressive power; temporal logic; linear time; branching time},
language = {eng},
number = {4},
pages = {345-353},
publisher = {EDP-Sciences},
title = {On Lamport's comparison between linear and branching time temporal logic},
url = {http://eudml.org/doc/92215},
volume = {18},
year = {1984},
}

TY - JOUR
AU - Graf, Susanne
TI - On Lamport's comparison between linear and branching time temporal logic
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1984
PB - EDP-Sciences
VL - 18
IS - 4
SP - 345
EP - 353
LA - eng
KW - expressive power; temporal logic; linear time; branching time
UR - http://eudml.org/doc/92215
ER -

References

top
  1. 1. E. M. CLARKE and E. A. EMERSON, Design and synthesis of synchronization skeletons using branching time logic, Harvard University TR-12-81. Zbl0546.68014
  2. 2. E. A. EMERSON, Alternative semantics for temporal logics, University of Texas at Austin, TR-182. Zbl0559.68050
  3. 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. Zbl0559.68051
  4. 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. Zbl0629.68020
  5. 5. L. LAMPORT, "Sometimes" is sometimes "Not Never", 7th Annual ACM Symp. on Principals of Programming Languages, 1980. 
  6. 6. A. PNUELI, The temporal logic of concurrent Programs, 19th Annual Symp. on Foundations on Computer Science, 1971. 
  7. 7. J. P. QUEILLE and J. SIFAKIS, Specification and verification of concurrent Systems in CESAR, 5th International Symp. on Programming, 1982. Zbl0482.68028MR807187

NotesEmbed ?

top

You must be logged in to post comments.