CRIS Current Research Information System

Dal Lago, U., Faggian, C., Valiron, B., Yoshimizu, A. (2015). Parallelism and synchronization in an infinitary context. Institute of Electrical and Electronics Engineers Inc. [10.1109/LICS.2015.58].

Parallelism and synchronization in an infinitary context

DAL LAGO, UGO;
2015
2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science
559
572
Dal Lago, U., Faggian, C., Valiron, B., Yoshimizu, A. (2015). Parallelism and synchronization in an infinitary context. Institute of Electrical and Electronics Engineers Inc. [10.1109/LICS.2015.58].
Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoit; Yoshimizu, Akira
4.01 Contributo in Atti di convegno
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/527023
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 12
social impact