Behavioural type systems, usually associated to concurrent or distributed computations,
encompass concepts such as interfaces, communication protocols, and contracts, in addition …

Abstract Service-oriented computing is now acknowledged as a central paradigm for Internet
computing, supported by tremendous research and technology development over the last 10 …

A recent trend in programming language research is to use behavioral type theory to ensure
various correctness properties of largescale, communication-intensive systems. Behavioral …

Over the last decade, global descriptions have been successfully employed for the
verification and implementation of communicating systems, respectively as protocol …

Choreographic programming is an emerging paradigm for programming distributed systems.
In choreographic programming, the programmer describes the behavior of the entire system …

Global types are formal specifications that describe communication protocols in terms of
their global interactions. We present a new, streamlined language of global types equipped …

Choreographies are descriptions of distributed systems where the developer gives a global
view of how messages are exchanged by endpoint nodes (endpoints for short), instead of …

The wide adoption of service-oriented computing has led to a heterogeneous scenario
formed by different technologies and specifications. Examples can be found both at the …

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 …

Abstract Automata models are well-established in many areas of computer science and are
supported by a wealth of theoretical results including a wide range of algorithms and …