Mobility Reading Group

On the Expressiveness of Multiparty Session Types

Romain DEMANGEON, Nobuko YOSHIDA

35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015). p. 560 - 574

This paper explores expressiveness of asynchronous multiparty sessions. We model the behaviours of endpoint implementations in several ways: (i) by the existence of different buffers and queues used to store messages exchanged asynchronously, (ii) by the ability for an endpoint to lightly reconfigure his behaviour at runtime (flexibility), (iii) by the presence of explicit parallelism or interruptions (exceptional actions) in endpoint behaviour. For a given protocol we define several denotations, based on traces of events, corresponding to the different implementations and compare them.

Paper Slide Electronic version via DOI

BibTeX
Short
Long

@inproceedings{DY2015,
  author = {Romain Demangeon and Nobuko Yoshida},
  title = {{On the Expressiveness of Multiparty Session Types}},
  booktitle = {35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
  series = {LIPIcs},
  volume = {45},
  pages = {560--574},
  publisher = {Schloss Dagstuhl},
  year = 2015
}

@inproceedings{DY2015,
  author = {Romain Demangeon and Nobuko Yoshida},
  title = {{On the Expressiveness of Multiparty Session Types}},
  booktitle = {35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
  series = {LIPIcs},
  volume = {45},
  pages = {560--574},
  publisher = {Schloss Dagstuhl},
  doi = "10.4230/LIPIcs.FSTTCS.2015.560",
  year = 2015
}