Parallelism and Synchronization in an Infinitary Context.

Ugo Dal Lago, Claudia Faggian, Benot Valiron, Akira Yoshimizu

Browse the full LICS paper archive.