Theory of choreographic languages typically includes a number of complex results that are
proved by structural induction. The high number of cases and the subtle details in some of …

Choreographic languages aim to express multiparty communication protocols, by providing
primitives that make interaction manifest. Multitier languages enable programming …

Choreographic programming is a paradigm for developing concurrent and distributed
systems, where programs are choreographies that define, from a global viewpoint, the …

Choreographic programming is a paradigm for writing coordination plans for distributed
systems from a global point of view, from which correct-by-construction decentralised …

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

Non-functional properties of collective adaptive systems (CAS) are of paramount relevance
practically in any application. This paper compares two recently proposed approaches to …

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

Choreographic programming is a paradigm where developers write the global specification
(called choreography) of a communicating system, and then a correct-by-construction …

Choreographic programming is an emerging programming paradigm for concurrent and
distributed systems, where developers write the communications that should be enacted and …

We present ParTypes, a type discipline for parallel programs. The model we have in mind
comprises a fixed number of processes running in parallel and communicating via collective …