Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm.

Rossella Arcucci, Umberto Marotta, Aniello Murano, Loredana Sorrentino

Browse the full ICCS paper archive.