LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Ссылки » События LIP6

GdT programmation / séminaire IRILL / séminaire APRRSS

On the Expressiveness of Asynchronous Multiparty Sessions


10.12.2015
Докладчики : Romain Demangeon (APR/LIP6, UPMC)
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.
Более подробно
Emmanuel.Chailloux (at) nulllip6.fr
 Mentions légales
Карта сайта |