Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm / Arcucci, Rossella; Marotta, Umberto; Murano, Aniello; Sorrentino, Loredana. - In: PROCEDIA COMPUTER SCIENCE. - ISSN 1877-0509. - 108:(2017), pp. 525-534. (Intervento presentato al convegno International Conference on Computational Science ICCS 2017 tenutosi a ETH Zurich, che nel 2017) [10.1016/j.procs.2017.05.120].
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm
Arcucci, RossellaMembro del Collaboration Group
;Murano, Aniello
Membro del Collaboration Group
;Sorrentino, LoredanaMembro del Collaboration Group
2017
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
