This paper relates two different paradigms of descriptions of communication behaviour, one
focussing on global message flows and another on end-point behaviours, using formal …

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

Contracts are behavioral descriptions of Web services. We devise a theory of contracts that
formalizes the compatibility of a client with a service, and the safe replacement of a service …

We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …

Session primitives and types provide a flexible programming style for structured interaction,
and are used to statically check the safe and consistent composition of protocols in …

A session takes place between two parties; after establishing a connection, each party
interleaves local computations with communications (sending or receiving) with the other …

This article relates two different paradigms of descriptions of communication behavior, one
focusing on global message flows and another on end-point behaviors, using formal calculi …

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 …

With the rise of electronic integration between organizations, the need for a precise
specification of interaction behavior increases. Information systems, replacing interaction …

Contracts are behavioural descriptions of Web services. We devise a theory of contracts that
formalises the compatibility of a client to a service, and the safe replacement of a service …