Multiparty Languages: The Choreographic and Multitier Cases - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Multiparty Languages: The Choreographic and Multitier Cases


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.
Fichier principal
Vignette du fichier
ecoop2021.pdf (852.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03337915 , version 1 (08-09-2021)



Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, et al.. Multiparty Languages: The Choreographic and Multitier Cases. ECOOP 2021 - European Conference on Object-Oriented Programming, Jul 2021, Aarhus, Denmark. ⟨10.4230/LIPIcs.ECOOP.2021.23⟩. ⟨hal-03337915⟩
64 View
160 Download



Gmail Facebook X LinkedIn More