Multiparty Languages: The Choreographic and Multitier Cases

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

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

1 Downloads (Pure)

Abstrakt

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.
OriginalsprogEngelsk
Titel35th European Conference on Object-Oriented Programming (ECOOP 2021)
RedaktørerAnders Møller, Manu Sridharan
Vol/bind194
ForlagSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Publikationsdato2021
Sider22:1-22:27
Artikelnummer22
ISBN (Trykt)978-3-95977-190-0
DOI
StatusUdgivet - 2021
BegivenhedEuropean Conference on Object-Oriented Programming -
Varighed: 11. jul. 202117. jul. 2021
https://2021.ecoop.org/

Konference

KonferenceEuropean Conference on Object-Oriented Programming
Periode11/07/202117/07/2021
Internetadresse
NavnLeibniz International Proceedings in Informatics (LIPIcs)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Multiparty Languages: The Choreographic and Multitier Cases'. Sammen danner de et unikt fingeraftryk.

Citationsformater