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 communicationtype system, a novel static interactiontype system for global progress in dynamically interleaved multiparty sessions. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-85361-9_33 | CONCUR |
Keywords | Field | DocType |
prescribed scenario,global type signature,structured interaction,dynamically interleaved multiparty session,novel static interactiontype system,multiparty session,global progress,traditional communicationtype system,dynamically interleaved multiparty sessions,type system | Message type,Type signature,Computer science,Theoretical computer science,Programming language theory,Distributed computing | Conference |
Volume | ISSN | Citations |
5201 | 0302-9743 | 85 |
PageRank | References | Authors |
2.87 | 22 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lorenzo Bettini | 1 | 871 | 51.50 |
Mario Coppo | 2 | 1054 | 148.97 |
Loris D'Antoni | 3 | 377 | 25.00 |
Marco De Luca | 4 | 102 | 5.98 |
Mariangiola Dezani-Ciancaglini | 5 | 1615 | 193.57 |
Nobuko Yoshida | 6 | 2607 | 153.29 |