Skip to Main content Skip to Navigation
Conference papers

Structuring Communication with Session Types

Abstract : Session types are types for distributed communicating processes. They were born from process encodings of data structures and typical interaction scenarios in an asynchronous version of the π-calculus, and are being studied and developed as a potential basis for structuring concurrent and distributed computing, as well as in their own right. In this paper, we introduce basic ideas of sessions and session types, outline their key technical elements, and discuss how they may be usable for programming, drawing from our experience and comparing with existing paradigms, especially concurrent objects such as actors. We discuss how session types can offer a programming framework in which communications are structured both in program text and at run-time.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01213679
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Thursday, October 8, 2015 - 5:27:27 PM
Last modification on : Sunday, June 26, 2022 - 10:02:40 AM

Identifiers

Citation

Romain Demangeon, Raymond Hu, Kohei Honda, Nobuko Yoshida, Tzu-Chun Chen, et al.. Structuring Communication with Session Types. Concurrent Objects and Beyond, 2014, Kobe, Japan. pp.105-127, ⟨10.1007/978-3-662-44471-9_5⟩. ⟨hal-01213679⟩

Share

Metrics

Record views

26