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: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: