DeepAI AI Chat

Choreographies as Functions

11/05/2021

∙

by Luís Cruz-Filipe, et al.

∙

∙

We propose a new interpretation of choreographies as functions, whereby coordination protocols for concurrent and distributed systems are expressed in terms of a λ-calculus. Our language is expressive enough to enable, for the first time, the writing of higher-order protocols that do not require central control. Nevertheless, it retains the simplicity and elegance of the λ-calculus, and it is possible to translate choreographies into endpoint implementations.

Luís Cruz-Filipe
16 publications
Eva Graversen
3 publications
Lovro Lugović
3 publications
Fabrizio Montesi
29 publications
Marco Peressotti
23 publications

page 18

page 19

∙ 01/31/2021

Superposition with Lambdas

We designed a superposition calculus for a clausal fragment of extension...

0 Alexander Bentkamp, et al. ∙

∙ 09/06/2022

A Generic Type System for Higher-Order Ψ-calculi

The Higher-Order Ψ-calculus framework (HOΨ) is a generalisation of many ...

0 Alex Rønning Bendixen, et al. ∙

∙ 11/19/2019

A Process Calculus for Formally Verifying Blockchain Consensus Protocols

Blockchains are becoming increasingly relevant in a variety of fields, s...

0 Wolfgang Jeltsch, et al. ∙

∙ 05/21/2021

Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps

Cloud Native Application CNApp (as a distributed system) is a collection...

0 Stanislaw Ambroszkiewicz, et al. ∙

∙ 09/16/2021

BuDDI: A Declarative Bloom Language for CALM Programming

Coordination protocols help programmers of distributed systems reason ab...

0 Rolando Garcia, et al. ∙

∙ 10/07/2019

Field-based Coordination with the Share Operator

Field-based coordination has been proposed as a model for coordinating c...

0 Giorgio Audrito, et al. ∙

∙ 02/09/2023

Calculus of functional centrality

In this document, we present another perspective for the calculus of opt...

0 Djemel Ziou, et al. ∙