Manifestly Phased Communication via Shared Session Types - Coordination Models and Languages
Conference Papers Year : 2021

Manifestly Phased Communication via Shared Session Types

Abstract

Session types denote message protocols between concurrent processes, allowing a type-safe expression of inter-process communication. Although previous work demonstrate a well-defined notion of subtyping where processes have different perceptions of the protocol, these formulations were limited to linear session types where each channel of communication has a unique provider and client. In this paper, we extend subtyping to shared session types where channels can now have multiple clients instead of a single client. We demonstrate that this generalization can statically capture protocol requirements that span multiple phases of interactions of a client with a shared service provider, something not possible in prior proposals. Moreover, the phases are manifest in the type of the client.
Fichier principal
Vignette du fichier
509400_1_En_2_Chapter.pdf (308.38 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03387824 , version 1 (20-10-2021)

Licence

Identifiers

Cite

Chuta Sano, Stephanie Balzer, Frank Pfenning. Manifestly Phased Communication via Shared Session Types. 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.23-40, ⟨10.1007/978-3-030-78142-2_2⟩. ⟨hal-03387824⟩
38 View
17 Download

Altmetric

Share

More