MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Global Progress in Dynamically Interleaved Multiparty Sessions
Lorenzo BETTINI , Mario COPPO , Loris D'ANTONI , Marco DELUCA , Mariangiola DEZANI-CIANCAGLINI , Nobuko YOSHIDA
19th International Conference on Concurrency Theory (CONCUR 2008) p. 418 - 433

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.

@inproceedings{BCDLDY2008,
  author = {Lorenzo Bettini and Mario Coppo and Loris D'Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida},
  title = {{Global Progress in Dynamically Interleaved Multiparty Sessions}},
  booktitle = {19th International Conference on Concurrency Theory},
  series = {LNCS},
  volume = {5201},
  pages = {418--433},
  publisher = {Springer},
  year = 2008
}
@inproceedings{BCDLDY2008,
  author = {Lorenzo Bettini and Mario Coppo and Loris D'Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida},
  title = {{Global Progress in Dynamically Interleaved Multiparty Sessions}},
  booktitle = {19th International Conference on Concurrency Theory},
  series = {LNCS},
  volume = {5201},
  pages = {418--433},
  publisher = {Springer},
  doi = "10.1007/978-3-540-85361-9_33",
  year = 2008
}