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

Download:

Current browse context:

cs.PL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(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 formalization of inter-process communication. Although previous works 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 our work, we extend these previous formulations into the shared session type setting where channels can now have multiple clients instead of a single client. We demonstrate that this allows shared sessions to be released at a different type, allowing the encoding of phases in a shared protocol to be manifest in the session type.
Comments: Technical report; 63 pages (30 from Appendix) and 2 figures
Subjects: Programming Languages (cs.PL)
Cite as: arXiv:2101.06249 [cs.PL]
  (or arXiv:2101.06249v1 [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.