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: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |