2026-07-24T11:17:14Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5621 2024-03-12T12:02:07Z ddc:004 open_access

On the Expressiveness of Multiparty Sessions Demangeon, Romain Yoshida, Nobuko concurrency message-passing session asynchrony expressiveness 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Romain Demangeon and Nobuko Yoshida 2015 Is Part Of LIPIcs, Volume 45, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2015.560 urn:nbn:de:0030-drops-56217 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2015.560 eng https://creativecommons.org/licenses/by/3.0/legalcode