Manifestly Phased Communication via Shared Session Types - Coordination Models and Languages Access content directly
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

Attribution

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⟩
29 View
13 Download

Altmetric

Share

Gmail Facebook X LinkedIn More