On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic.

David Janin, Igor Walukiewicz

Browse the full CONCUR paper archive.