Title
Global Progress in Dynamically Interleaved Multiparty Sessions
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 Bettini187151.50
Mario Coppo21054148.97
Loris D'Antoni337725.00
Marco De Luca41025.98
Mariangiola Dezani-Ciancaglini51615193.57
Nobuko Yoshida62607153.29