A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a more traditional communication type system, a novel static interaction type system for global progress in dynamically interleaved multiparty sessions.
Global Progress in Dynamically Interleaved Multiparty Sessions / Bettini, L., Mario, C., Loris, D., Marco De Luca, ., Mariangiola, D., Nobuko, Y.. - STAMPA. - 5201:(2008), pp. 418-433. (Concur'08 Toronto August 19-22, 2008) [10.1007/978-3-540-85361-9_33].
Global Progress in Dynamically Interleaved Multiparty Sessions
BETTINI, LORENZO;
2008
Abstract
A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a more traditional communication type system, a novel static interaction type system for global progress in dynamically interleaved multiparty sessions.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Global Progress.pdf
accesso aperto
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
406.2 kB
Formato
Adobe PDF
|
406.2 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
