EXPRESSing Session Types - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

EXPRESSing Session Types

Résumé

To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we overview how session types can be expressed in a type theory for the standard π-calculus by means of a suitable encoding. The encoding allows one to reuse results about the π-calculus in the context of session-based communications, thus deepening the understanding of sessions and reducing redundancies in their theoretical foundations. Perhaps surprisingly, the encoding has practical implications as well, by enabling refined forms of deadlock analysis as well as allowing session type inference by means of a conventional type inference algorithm.
Fichier principal
Vignette du fichier
express-sos-23.pdf (214.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04349502 , version 1 (18-12-2023)

Licence

Paternité

Identifiants

Citer

Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi. EXPRESSing Session Types. EXPRESS / SOS 2023 - Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Sep 2023, Anvers (Antwerpen), Belgium. pp.8-25, ⟨10.4204/EPTCS.387.2⟩. ⟨hal-04349502⟩
23 Consultations
9 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More