Choreographic programming is a paradigm where a concurrent or distribute...
Programming communicating processes is challenging, because it requires
...
Choreographic programming is a paradigm where developers write the globa...
Choreographic programming is a paradigm for writing coordination plans f...
Choreographies are formal descriptions of distributed systems, which foc...
We propose a new interpretation of choreographies as functions, whereby
...
Choreographic programming is a paradigm for developing concurrent and
di...
Theory of choreographic languages typically includes a number of complex...
Choreography extraction deals with the generation of a choreography (a g...
Continuous queries over data streams may suffer from blocking operations...
This submission to arXiv is the report of a panel session at the 2018
In...
We present Multiparty Classical Choreographies (MCC), a language model w...
We present Cho-Reo-graphies (CR), a new language model that unites two
p...
Choreographic Programming is a paradigm for the development of concurren...
Choreographic Programming is a paradigm for developing
correct-by-constr...
Choreographies are widely used for the specification of concurrent and
d...