We investigate the semantic foundations of session types, by revisiting them in the abstract setting of labelled transition systems. The crucial insight is a simulation relation which generalises the usual syntax-directed notions of typing and subtyping, and encompasses both synchronous and asynchronous binary session types. This allows us to extend the session types theory to some common programming patterns which are not typically considered in the session types literature.
A semantic deconstruction of session types
BARTOLETTI, MASSIMO;SCALAS, ALCESTE;
2014-01-01
Abstract
We investigate the semantic foundations of session types, by revisiting them in the abstract setting of labelled transition systems. The crucial insight is a simulation relation which generalises the usual syntax-directed notions of typing and subtyping, and encompasses both synchronous and asynchronous binary session types. This allows us to extend the session types theory to some common programming patterns which are not typically considered in the session types literature.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
concur14.pdf
Solo gestori archivio
Descrizione: Articolo principale
Tipologia:
versione post-print (AAM)
Dimensione
431.79 kB
Formato
Adobe PDF
|
431.79 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
