Asynchronous Sessions with Input Races

Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini

doi:10.4204/EPTCS.356.2

Asynchronous Sessions with Input Races

Ilaria Castellani
, Mariangiola Dezani-Ciancaglini
, Paola Giannini

Department of Sustainable Development and Ecological Transition

Research output: Contribution to journal › Conference article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	12-23
Number of pages	12
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	356
DOIs	https://doi.org/10.4204/EPTCS.356.2
Publication status	Published - 24 Mar 2022
Event	13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022 - Munich, Germany Duration: 3 Apr 2022 → …

Access to Document

10.4204/EPTCS.356.2

Cite this

@article{e9796f01d3a34e0b94205f5a9b36d8b8,

title = "Asynchronous Sessions with Input Races",

abstract = "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.",

author = "Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini",

note = "Publisher Copyright: {\textcopyright} I. Castellani, M. Dezani-Ciancaglini and P. Giannini; 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022 ; Conference date: 03-04-2022",

year = "2022",

month = mar,

day = "24",

doi = "10.4204/EPTCS.356.2",

language = "English",

volume = "356",

pages = "12--23",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Asynchronous Sessions with Input Races

AU - Castellani, Ilaria

AU - Dezani-Ciancaglini, Mariangiola

AU - Giannini, Paola

N1 - Publisher Copyright: © I. Castellani, M. Dezani-Ciancaglini and P. Giannini

PY - 2022/3/24

Y1 - 2022/3/24

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85127854283

U2 - 10.4204/EPTCS.356.2

DO - 10.4204/EPTCS.356.2

M3 - Conference article

AN - SCOPUS:85127854283

SN - 2075-2180

VL - 356

SP - 12

EP - 23

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022

Y2 - 3 April 2022

ER -

Asynchronous Sessions with Input Races

Abstract

Access to Document

Other files and links

Fingerprint

Cite this