Structuring communication with session types

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu Chun Chen, Romain Demangeon, Pierre Malo Deni´elou, Pierre Malo Deni´elou, Nobuko Yoshida

Research output: Contribution to journalArticlepeer-review

15 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)105-127
Number of pages23
JournalLecture Notes in Computer Science (LNCS)
Publication statusPublished - 1 Jan 2014
Externally publishedYes


Dive into the research topics of 'Structuring communication with session types'. Together they form a unique fingerprint.

Cite this