%0 Conference Proceedings
%T Manifestly Phased Communication via Shared Session Types
%+ Carnegie Mellon University [Pittsburgh] (CMU)
%A Sano, Chuta
%A Balzer, Stephanie
%A Pfenning, Frank
%Z Part 2: Communications: Types and Implemenations
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Ferruccio Damiani
%Y Ornela Dardha
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12717
%P 23-40
%8 2021-06-14
%D 2021
%R 10.1007/978-3-030-78142-2_2
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03387824/document
%2 https://inria.hal.science/hal-03387824/file/509400_1_En_2_Chapter.pdf
%L hal-03387824
%U https://inria.hal.science/hal-03387824
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12717