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

Please sign up or login with your details

Forgot password? Click here to reset