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

1 Downloads (Pure)

Abstract

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
Volume194
PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Publication date2021
Pages22:1-22:27
Article number22
ISBN (Print)978-3-95977-190-0
DOIs
Publication statusPublished - 2021
EventEuropean Conference on Object-Oriented Programming -
Duration: 11. Jul 202117. Jul 2021
https://2021.ecoop.org/

Conference

ConferenceEuropean Conference on Object-Oriented Programming
Period11/07/202117/07/2021
Internet address
SeriesLeibniz International Proceedings in Informatics (LIPIcs)

Keywords

  • Choreographies
  • Distributed Programming
  • Multitier Languages

Fingerprint

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

Cite this