Benedikt Bollig, Martin Leucker, Michael Weber 0002. Local Parallel Model Checking for the Alternation-Free µ-Calculus. In Dragan Bosnacki, Stefan Leue, editors, Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Volume 2318 of Lecture Notes in Computer Science, pages 128-147, Springer, 2002. [doi]
Abstract is missing.