On model checking for the μ-calculus and its fragments
- E.Allen Emerson
- Charanjit S. Jutla
- et al.
- 2001
- Theoretical Computer Science
Publications
4 results for E.Allen Emerson
Complexity of tree automata and logics of programs
- E. Allen Emerson
- Charanjit S. Jutla
- 1999
- SIAM Journal on Computing
“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time Temporal Logic
- E. Allen Emerson
- Joseph Y. Halpern
- 1986
- Journal of the ACM
Decision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences