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, Lorenzo; Mario, Coppo; Loris, D'Antoni; Marco De Luca, ; Mariangiola, Dezani; Nobuko, Yoshida. - STAMPA. - 5201:(2008), pp. 418-433. (Intervento presentato al convegno Concur'08 tenutosi a Toronto nel 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 | 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.
