“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time Temporal Logic
- E. Allen Emerson
- Joseph Y. Halpern
- 1986
- Journal of the ACM
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
4 results for E.Allen Emerson
On model checking for the μ-calculus and its fragments
- E.Allen Emerson
- Charanjit S. Jutla
- et al.
- 2001
- Theoretical Computer Science
Complexity of tree automata and logics of programs
- E. Allen Emerson
- Charanjit S. Jutla
- 1999
- SIAM Journal on Computing
Decision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences