MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Structuring Communication with Session Types
Kohei HONDA , Raymond HU , Rumyana NEYKOVA , Tzu-Chun CHEN , Romain DEMANGEON , Pierre-Malo DENIÉLOU , Nobuko YOSHIDA
Concurrent Objects and Beyond (COB 2014) p. 105 - 127

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 pi-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.

@inproceedings{HHNCDDY2014,
  author = {Kohei Honda and Raymond Hu and Rumyana Neykova and Tzu-Chun Chen and Romain Demangeon and Pierre-Malo Deniélou and Nobuko Yoshida},
  title = {{Structuring Communication with Session Types}},
  booktitle = {Concurrent Objects and Beyond},
  series = {LNCS},
  volume = {8665},
  pages = {105--127},
  publisher = {Springer},
  year = 2014
}
@inproceedings{HHNCDDY2014,
  author = {Kohei Honda and Raymond Hu and Rumyana Neykova and Tzu-Chun Chen and Romain Demangeon and Pierre-Malo Deniélou and Nobuko Yoshida},
  title = {{Structuring Communication with Session Types}},
  booktitle = {Concurrent Objects and Beyond},
  series = {LNCS},
  volume = {8665},
  pages = {105--127},
  publisher = {Springer},
  doi = "10.1007/978-3-662-44471-9_5",
  year = 2014
}