TY - RPRT TI - Parallelism and Synchronization in an Infinitary Context (Long Version) AU - Ugo Dal Lago AU - Claudia Faggian AU - Benoit Valiron AU - Akira Yoshimizu PY - 2015 UR - https://arxiv.org/abs/1505.03635 ID - 1505.03635 ER -