Asynchronous Sessions with Input Races

Creators: Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola

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 audience

Asynchronous Sessions with Input Races

Description

Abstract

Additional details