We illustrate the concepts of sessions and session types as they have been developed in the setting of the pi-calculus. Motivated by the goal of obtaining a formalisation closer to existing standards and aiming at their enhancement and strengthening, several extensions of the original core system have been proposed, which we survey together with the embodying of sessions into functional and object-oriented languages, as well as some implementations.
Sessions and Session Types: an Overview
DEZANI, Mariangiola;DE' LIGUORO, Ugo
2010-01-01
Abstract
We illustrate the concepts of sessions and session types as they have been developed in the setting of the pi-calculus. Motivated by the goal of obtaining a formalisation closer to existing standards and aiming at their enhancement and strengthening, several extensions of the original core system have been proposed, which we survey together with the embodying of sessions into functional and object-oriented languages, as well as some implementations.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
sto_4aperto_436524.pdf
Accesso aperto
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
322.43 kB
Formato
Adobe PDF
|
322.43 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
