Catalin Dima, Bastien Maubert, Sophie Pinchinat. Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus. In Vittorio Bilò, Antonio Caruso, editors, Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016. Volume 1720 of CEUR Workshop Proceedings, pages 240-244, CEUR-WS.org, 2016. [doi]
Abstract is missing.