DeepAI AI Chat
Log In Sign Up

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

page 18

page 19

01/31/2021

Superposition with Lambdas

We designed a superposition calculus for a clausal fragment of extension...
09/06/2022

A Generic Type System for Higher-Order Ψ-calculi

The Higher-Order Ψ-calculus framework (HOΨ) is a generalisation of many ...
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...
02/09/2023

Calculus of functional centrality

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