We present Pirouette, a language for typed higher-order functional choreographic
programming. Pirouette offers programmers the ability to write a centralized functional …

We propose two abstract semantics of the global view of choreographies given in terms of
partial orders. The first semantics is formalised as pomsets of communication events while …

Construction and analysis of distributed systems is difficult; choreographic programming is a
deadlock-freedom-by-construction approach to simplify it. In this paper, we present a new …

Programming distributed applications free from communication deadlocks and race
conditions is complex. Preserving these properties when applications are updated at …

Microservices is an emerging paradigm for the development of distributed systems that,
originating from Service-Oriented Architecture, focuses on the small dimension, the loose …

Choreographic Programming is a paradigm for develo** concurrent programs that are
deadlock-free by construction, as a result of programming communications declaratively and …

Choreographic Programming is an emerging paradigm for correct-by-construction
concurrent programming. However, its applicability is limited by the current lack of support …

Context: Secure Multiparty Computation (MPC) refers to a family of cryptographic techniques
where mutually untrusting parties may compute functions of their private inputs while …

Choreographies are global descriptions of interactions among concurrent components, most
notably used in the settings of verification and synthesis of correct-by-construction software …

Choreographic Programming is a development methodology for concurrent software that
guarantees correctness by construction. The key to this paradigm is to disallow mismatched …