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

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › 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.

Lingua originale	Inglese
pagine (da-a)	12-23
Numero di pagine	12
Rivista	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	356
DOI	https://doi.org/10.4204/EPTCS.356.2
Stato di pubblicazione	Pubblicato - 24 mar 2022
Evento	13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022 - Munich, Germany Durata: 3 apr 2022 → …

Accesso al documento

10.4204/EPTCS.356.2

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@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 - http://www.scopus.com/inward/record.url?scp=85127854283&partnerID=8YFLogxK

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

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo