Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus.

Catalin Dima, Bastien Maubert, Sophie Pinchinat

Browse the full MFCS paper archive.