Asynchronous Sessions with Input Races

I. Castellani; M. Dezani-Ciancaglini; Paola GIANNINI

doi:10.4204/EPTCS.356.2

Asynchronous Sessions with Input Races

I. Castellani
, M. Dezani-Ciancaglini
, Paola GIANNINI

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › 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	12-23
Numero di pagine	12
DOI	https://doi.org/10.4204/EPTCS.356.2
Stato di pubblicazione	Pubblicato - 2022
Evento	13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022 - Monaco do Baviera Durata: 1 gen 2022 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022
Città	Monaco do Baviera
Periodo	1/01/22 → …

Keywords

asynchronous multiparty sessions global types race freedom

Accesso al documento

10.4204/EPTCS.356.2

http://hdl.handle.net/11579/137838

Altri file e collegamenti

handle

Cita questo

@conference{060a90855bba4f819c748de160ef1dd6,

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

keywords = "asynchronous multiparty sessions global types race freedom, asynchronous multiparty sessions global types race freedom",

author = "I. Castellani and M. Dezani-Ciancaglini and Paola GIANNINI",

year = "2022",

doi = "10.4204/EPTCS.356.2",

language = "English",

pages = "12--23",

note = "13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022 ; Conference date: 01-01-2022",

}

Asynchronous Sessions with Input Races. / Castellani, I.; Dezani-Ciancaglini, M.; GIANNINI, Paola.
2022. 12-23 Articolo presentato al 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022, Monaco do Baviera.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

TY - CONF

T1 - Asynchronous Sessions with Input Races

AU - Castellani, I.

AU - Dezani-Ciancaglini, M.

AU - GIANNINI, Paola

PY - 2022

Y1 - 2022

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.

KW - asynchronous multiparty sessions global types race freedom

UR - https://iris.uniupo.it/handle/11579/137838

U2 - 10.4204/EPTCS.356.2

DO - 10.4204/EPTCS.356.2

M3 - Paper

SP - 12

EP - 23

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

Y2 - 1 January 2022

ER -

Asynchronous Sessions with Input Races

Abstract

???event.eventtypes.event.conference???

Keywords

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo