On the Expressiveness of Multiparty Session Types
File(s)expressiveness.pdf (497.21 KB) main.pdf (497.21 KB)
Accepted version
Published version
Author(s)
Demangeon, R
Yoshida, N
Type
Conference Paper
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.
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.
Date Issued
2015-12-01
Date Acceptance
2015-10-01
Citation
Leibniz International Proceedings in Informatics (LIPIcs)
Journal / Book Title
Leibniz International Proceedings in Informatics (LIPIcs)
Copyright Statement
© Romain Demangeon, Nobuko Yoshida;
licensed under Creative Commons License CC-BY
licensed under Creative Commons License CC-BY
License URL
Sponsor
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Commission of the European Communities
Grant Number
ERI 025567 (EP/K034413/1)
PO 1553380
EP/K011715/1
612985
Source
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Publication Status
Published
Start Date
2015-12-16
Finish Date
2015-12-18
Coverage Spatial
Bangalore, India