Asynchronous Sessions with Input Races - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Asynchronous Sessions with Input Races

Résumé

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.

Domaines

Informatique [cs] Informatique ubiquitaire
Fichier principal
Vignette du fichier
places22.pdf (161.28 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Ilaria Castellani  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03940160

Soumis le : dimanche 15 janvier 2023-23:02:34

Dernière modification le : mardi 9 janvier 2024-12:34:04

Archivage à long terme le : dimanche 16 avril 2023-18:29:40

Télécharger pour visualiser

Dates et versions

hal-03940160 , version 1 (15-01-2023)

Licence

Paternité

Identifiants

Citer

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Asynchronous Sessions with Input Races. PLACES 2022 - 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Marco Carbone, Rumyana Neykova, Apr 2022, Munich (Allemagne), Germany. pp.12-23, ⟨10.4204/EPTCS.356.2⟩. ⟨hal-03940160⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR
24 Consultations
9 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More