Mobility Reading Group

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.

Paper Electronic version via DOI

BibTeX
Short
Long

@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
}