On the Expressiveness of Multiparty Sessions

Authors Romain Demangeon, Nobuko Yoshida



PDF
Thumbnail PDF

File

LIPIcs.FSTTCS.2015.560.pdf
  • Filesize: 0.58 MB
  • 15 pages

Document Identifiers

Author Details

Romain Demangeon
Nobuko Yoshida

Cite AsGet BibTex

Romain Demangeon and Nobuko Yoshida. On the Expressiveness of Multiparty Sessions. In 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 45, pp. 560-574, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.FSTTCS.2015.560

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.
Keywords
  • concurrency
  • message-passing
  • session
  • asynchrony
  • expressiveness

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Ocean Observatories Initiative (OOI). URL: http://www.oceanobservatories.org/.
  2. Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, and Nobuko Yoshida. Monitoring networks through multiparty session types. In FMOODS/FORTE 2013, pages 50-65, 2013. Google Scholar
  3. Mario Bravetti and Gianluigi Zavattaro. On the expressive power of process interruption and compensation. Mathematical Structures in Computer Science, 19(3):565-599, 2009. Google Scholar
  4. Sara Capecchi, Elena Giachino, and Nobuko Yoshida. Global escape in multiparty sessions. MSCS, 29:1-50, 2015. Google Scholar
  5. Marco Carbone, Kohei Honda, and Nobuko Yoshida. Structured interactional exceptions in session types. In CONCUR, volume 5201 of LNCS, pages 402-417. Springer, 2008. Google Scholar
  6. Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, and Nobuko Yoshida. On the preciseness of subtyping in session types. In PPDP 2014, pages 146-135. ACM Press, 2014. Google Scholar
  7. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, and Luca Padovani. Global progress for dynamically interleaved multiparty sessions. MSCS, 760:1-65, 2015. Google Scholar
  8. Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida. Practical interruptible conversations: Distributed dynamic verification with multiparty session types and python. FMSD, pages 1-29, 2015. Google Scholar
  9. Daniele Gorla. On the relative expressive power of asynchronous communication primitives. In FOSSACS 2006, pages 47-62, 2006. Google Scholar
  10. Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 22-138, 1998. Google Scholar
  11. Kohei Honda, Nobuko Yoshida, and Marco Carbone. Multiparty Asynchronous Session Types. In POPL'08, pages 273-284. ACM, 2008. Google Scholar
  12. Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, and Kohei Honda. Practical interruptible conversations - distributed dynamic verification with session types and python. In RV 2013, pages 130-148, 2013. Google Scholar
  13. Svetlana Jaksic and Luca Padovani. Exception handling for copyless messaging. Sci. Comput. Program., 84:22-51, 2014. Google Scholar
  14. Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, and Kohei Honda. On asynchronous eventful session semantics. MSCS, 2015. Google Scholar
  15. Julien Lange, Emilio Tuosto, and Nobuko Yoshida. From communicating machines to graphical choreographies. In POPL, pages 221-232, 2015. Google Scholar
  16. Dimitris Mostrous and Nobuko Yoshida. Session typing and asynchronous subtyping for the higher-order π-calculus. Inf. Comput., 241:227-263, 2015. Google Scholar
  17. Dimitris Mostrous, Nobuko Yoshida, and Kohei Honda. Global principal typing in partially commutative asynchronous sessions. In ESOP'09, number 5502 in LNCS. Springer, 2009. Google Scholar
  18. Nicholas Ng, Nobuko Yoshida, and Kohei Honda. Multiparty Session C: Safe parallel programming with message optimisation. In TOOLS, volume 7304 of LNCS, pages 202-218. Springer, 2012. Google Scholar
  19. Catuscia Palamidessi. Comparing the expressive power of the synchronous and asynchronous pi-calculi. Mathematical Structures in Computer Science, 13(5):685-719, 2003. Google Scholar
  20. Joachim Parrow. Expressiveness of process algebras. Electr. Notes Theor. Comput. Sci., 209:173-186, 2008. Google Scholar
  21. Jorge A. Pérez. Higher-Order Concurrency: Expressiveness and Decidability Results. PhD thesis, University of Bologna, 2010. Google Scholar
  22. Scribble Project homepage. URL: https://www.scribble.org.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail