Choreographies as Functions

11/05/2021
by   Luís Cruz-Filipe, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 18

page 19

01/31/2021

Superposition with Lambdas

We designed a superposition calculus for a clausal fragment of extension...
04/30/2021

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

We study encodings of the lambda-calculus into the pi-calculus in the un...
11/19/2019

A Process Calculus for Formally Verifying Blockchain Consensus Protocols

Blockchains are becoming increasingly relevant in a variety of fields, s...
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...
09/16/2021

BuDDI: A Declarative Bloom Language for CALM Programming

Coordination protocols help programmers of distributed systems reason ab...
10/07/2019

Field-based Coordination with the Share Operator

Field-based coordination has been proposed as a model for coordinating c...
10/18/2017

An intensionally fully-abstract sheaf model for π (expanded version)

Following previous work on CCS, we propose a compositional model for the...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.