Asynchronous Sessions with Input Races

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.

In Marco Carbone and Rumyana Neykova: Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2022), Munich, Germany, 3rd April 2022, Electronic Proceedings in Theoretical Computer Science 356, pp. 12–23.
Published: 24th March 2022.
ArXived at: https://dx.doi.org/10.4204/EPTCS.356.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org