On Lamport's comparison between linear and branching time temporal logic
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1984)
- Volume: 18, Issue: 4, page 345-353
- ISSN: 0988-3754
Access Full Article
top
How to cite
topGraf, 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. 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. E. A. EMERSON, Alternative semantics for temporal logics, University of Texas at Austin, TR-182. Zbl0559.68050
- 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. 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. 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. Zbl0482.68028MR807187
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.