Ilaria Castellani (INRIA, Université Côte d'Azur) |
Mariangiola Dezani-Ciancaglini (Università di Torino) |
Paola Giannini (Università del Piemonte Orientale) |
We propose a calculus for asynchronous multiparty sessions where input choices with different senders are allowed in processes. We present a type system that accepts such input races provided they do not hinder lock-freedom. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.356.2 | bibtex | |
Comments and questions to:
![]() |
For website issues:
![]() |