On the Expressiveness of Multiparty Sessions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

On the Expressiveness of Multiparty Sessions

Romain Demangeon
  • Fonction : Auteur
  • PersonId : 1006865
Nobuko Yoshida
  • Fonction : Auteur
  • PersonId : 993605

Résumé

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.
Fichier non déposé

Dates et versions

hal-01513348 , version 1 (25-04-2017)

Identifiants

Citer

Romain Demangeon, Nobuko Yoshida. On the Expressiveness of Multiparty Sessions. 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, Dec 2015, Bangalore, India. pp.560--574, ⟨10.4230/LIPIcs.FSTTCS.2015.560⟩. ⟨hal-01513348⟩
63 Consultations
0 Téléchargements

Altmetric

Partager

More