Microservices is an architectural style inspired by service-oriented computing that has
recently started gaining popularity. Before presenting the current state of the art in the field …

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 …

We present PolyChor give it a weaker correspondence between the semantics of
choreographies and their endpoint-projected concurrent systems than some other …

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 an emerging programming paradigm for concurrent and
distributed systems, where developers write the communications that should be enacted and …