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

Department of Sustainable Development and Ecological Transition

Research output: Contribution to conference › Paper › 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	12-23
Number of pages	12
DOIs	https://doi.org/10.4204/EPTCS.356.2
Publication status	Published - 2022
Event	13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022 - Monaco do Baviera Duration: 1 Jan 2022 → …

Conference

Conference	13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022
City	Monaco do Baviera
Period	1/01/22 → …

Keywords

asynchronous multiparty sessions global types race freedom

Access to Document

10.4204/EPTCS.356.2

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

Cite this

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

}

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

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this