Authors: Emerson, EA Jutla, CS Sistla, AP

Citation: Ea. Emerson et al., On model checking for the mu-calculus and its fragments, THEOR COMP, 258(1-2), 2001, pp. 491-522

Authors: Attie, PC Emerson, EA

Citation: Pc. Attie et Ea. Emerson, Synthesis of concurrent programs for an atomic read/write model of computation, ACM T PROGR, 23(2), 2001, pp. 187-242

Authors: Sistla, AP Gyuris, V Emerson, EA

Citation: Ap. Sistla et al., SMC: A symmetry-based model checker for verification of safety and liveness properties, ACM T SOFTW, 9(2), 2000, pp. 133-166

Authors: Emerson, EA Jutla, CS

Citation: Ea. Emerson et Cs. Jutla, The complexity of tree automata and logics of programs, SIAM J COMP, 29(1), 1999, pp. 132-158