E. Allen Emerson

• E. Allen Emerson and A. Prasad Sistla. Deciding full branching time logic. Information and Control, 61(3):175-201, June 1984. Citations.

• Robert S. Streett and E. Allen Emerson. An automata theoretic decision procedure for the propositional mu-calculus. Information and Computation, 81(3):249-264, June 1989. References and Citations.

Shortcuts: