Structuring Communication with Session Types - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Structuring Communication with Session Types

Romain Demangeon
  • Fonction : Auteur
  • PersonId : 965999
Raymond Hu
  • Fonction : Auteur
Kohei Honda
  • Fonction : Auteur
Nobuko Yoshida
  • Fonction : Auteur
Tzu-Chun Chen
  • Fonction : Auteur
Rumyana Neykova
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

hal-01213679 , version 1 (08-10-2015)

Identifiants

Citer

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⟩
48 Consultations
0 Téléchargements

Altmetric

Partager

More