On Duality for the Modal µ-Calculus.

Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor

Browse the full CSL paper archive.