Skip to Main content Skip to Navigation
Conference papers

Multiparty Languages: The Choreographic and Multitier Cases

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03337915
Contributor : Saverio Giallorenzo Connect in order to contact the contributor
Submitted on : Wednesday, September 8, 2021 - 12:08:33 PM
Last modification on : Tuesday, February 15, 2022 - 3:09:51 AM
Long-term archiving on: : Friday, December 10, 2021 - 9:54:15 AM

File

ecoop2021.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

45

Files downloads

79