License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2015.560
URN: urn:nbn:de:0030-drops-56217
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5621/
Demangeon, Romain ;
Yoshida, Nobuko
On the Expressiveness of Multiparty Sessions
Abstract
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.
BibTeX - Entry
@InProceedings{demangeon_et_al:LIPIcs:2015:5621,
author = {Romain Demangeon and Nobuko Yoshida},
title = {{On the Expressiveness of Multiparty Sessions}},
booktitle = {35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)},
pages = {560--574},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-97-2},
ISSN = {1868-8969},
year = {2015},
volume = {45},
editor = {Prahladh Harsha and G. Ramalingam},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5621},
URN = {urn:nbn:de:0030-drops-56217},
doi = {10.4230/LIPIcs.FSTTCS.2015.560},
annote = {Keywords: concurrency, message-passing, session, asynchrony, expressiveness}
}
Keywords: |
|
concurrency, message-passing, session, asynchrony, expressiveness |
Collection: |
|
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) |
Issue Date: |
|
2015 |
Date of publication: |
|
14.12.2015 |