Automata for the Modal mu-Calculus and related Results

David Janin, Igor Walukiewicz. Automata for the Modal mu-Calculus and related Results. In Jirí Wiedermann, Petr Hájek, editors, Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS 95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings. Volume 969 of Lecture Notes in Computer Science, pages 552-562, Springer, 1995.

Abstract

Abstract is missing.