Parallelism and synchronization in an infinitary context / Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoit; Yoshimizu, Akira. - STAMPA. - (2015), pp. 7174912.559-7174912.572. (Intervento presentato al convegno 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 tenutosi a Kyoto, Giappone nel 2015) [10.1109/LICS.2015.58].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.