Rossella Arcucci, Umberto Marotta, Aniello Murano, Loredana Sorrentino. Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm. In Petros Koumoutsakos, Michael Lees, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot, editors, International Conference on Computational Science, ICCS 2017, 12-14 June 2017, Zurich, Switzerland. Volume 108 of Procedia Computer Science, pages 525-534, Elsevier, 2017. [doi]
Abstract is missing.