E. Allen Emerson. Model Checking and the Mu-calculus. In Neil Immerman, Phokion G. Kolaitis, editors, Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University. Volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 185-214, American Mathematical Society, 1996.
Abstract is missing.