Books, Chapters, Expository, and Invited Works

E. Allen Emerson. Model Checking and the Mu-calculus. Proceedings of the DIMACS Symposium on Descriptive Complexity and Finite Model, N. Immerman and P. Kolaitis, eds., American Mathematical Society Press, Pages 185-214. ( postscript)
E. Allen Emerson. Methods for Mu-calculus Model Checking: A Tutorial (Abstract). CAV 1995: Pages 141
E. Allen Emerson. Efficient Automation of Temporal Reasoning. CONCUR 1995: Pages 393-394
E. Allen Emerson. Automated Temporal Reasoning about Reactive Systems. Logics for Concurrency: Structure versus Automata, F. Moller and G. Birtwistle (eds.), Springer LNCS no. 1043, Pages 111-120.
( postscript)
E. Allen Emerson. Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics 1990, J. van Leeuwen, ed., North-Holland Pub. Co./MIT Press, Pages 995-1072. ( postscript)
E. Allen Emerson. The Role of Buchi's Automata in Computing Science. The Collected Works of J. Richard Buchi, D. Siefkes and S. MacLane, editors, Springer-Verlag, Pages 18-22. ( postscript)