Multiparty Languages: The Choreographic and Multitier Cases

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

24 Downloads (Pure)


Choreographic languages aim to express multiparty communication protocols, by providing primitives that make interaction manifest. Multitier languages enable programming computation that spans across several tiers of a distributed system, by supporting primitives that allow computation to change the location of execution. Rooted into different theoretical underpinnings—respectively process calculi and lambda calculus—the two paradigms have been investigated independently by different research communities with little or no contact. As a result, the link between the two paradigms has remained hidden for long. In this paper, we show that choreographic languages and multitier languages are surprisingly similar. We substantiate our claim by isolating the core abstractions that differentiate the two approaches and by providing algorithms that translate one into the other in a straightforward way. We believe that this work paves the way for joint research and cross-fertilisation among the two communities.
Original languageEnglish
Title of host publication35th European Conference on Object-Oriented Programming (ECOOP 2021)
EditorsAnders Møller, Manu Sridharan
PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Publication date2021
Article number22
ISBN (Print)978-3-95977-190-0
Publication statusPublished - 2021
EventEuropean Conference on Object-Oriented Programming -
Duration: 11. Jul 202117. Jul 2021


ConferenceEuropean Conference on Object-Oriented Programming
Internet address
SeriesLeibniz International Proceedings in Informatics (LIPIcs)


  • Choreographies
  • Distributed Programming
  • Multitier Languages


Dive into the research topics of 'Multiparty Languages: The Choreographic and Multitier Cases'. Together they form a unique fingerprint.
  • Distinguished Paper Award

    Giallorenzo, Saverio (Recipient), Montesi, Fabrizio (Recipient), Peressotti, Marco (Recipient), Salvaneschi, Guido (Recipient), Weisenburger, Pascal (Recipient) & Richter, David (Recipient), 2021

    Prize: Prizes, scholarships, distinctions

Cite this