Published April 3, 2022
| Version v1
Conference paper
Asynchronous Sessions with Input Races
Contributors
Others:
- Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)
- Secure Diffuse Programming (INDES) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Université Côte d'Azur
- Dipartimento di Informatica [Torino] ; Università degli studi di Torino = University of Turin (UNITO)
- Università del Piemonte Orientale - Dipartimento DISIT Italy
- Marco Carbone, Rumyana Neykova
Description
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.
Abstract
International audienceAdditional details
Identifiers
- URL
- https://hal.inria.fr/hal-03940160
- URN
- urn:oai:HAL:hal-03940160v1
Origin repository
- Origin repository
- UNICA