Manifestly Phased Communication via Shared Session Types - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Manifestly Phased Communication via Shared Session Types

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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 Consultations
17 Téléchargements

Altmetric

Partager

More