We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: 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.
Comments: Extended and revised version of a paper presented at COORDINATION 2021
Subjects: Programming Languages (cs.PL)
Cite as: arXiv:2101.06249 [cs.PL]
  (or arXiv:2101.06249v2 [cs.PL] for this version)

Submission history

From: Chuta Sano [view email]
[v1] Fri, 15 Jan 2021 18:17:50 GMT (108kb)
[v2] Fri, 26 Nov 2021 17:06:52 GMT (115kb)

Link back to: arXiv, form interface, contact.