Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm
Under a Creative Commons license
open access
Keywords
Parity Games
multicore Attractor
parallel Zielonka Recursive algorithm
Cited by (0)
© 2017 The Author(s). Published by Elsevier B.V.