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 …

We present a unified approach to evaluate the relative expressive power of process calculi.
In particular, we identify a small set of criteria (that have already been somehow presented …

Type systems for programming languages help reasoning about program behavior and
early finding of bugs. Recent applications of type systems include analysis of various …

For higher education, two recent changes in world language practices are crucial: the
emergence of English as the default language of international communication, and the …

LNCS 2874 - The Klaim Project: Theory and Practice Page 1 The Klaim Project: Theory and
Practice * Lorenzo Bettini1, Viviana Bono2, Rocco De Nicola1, Gianluigi Ferrari3, Daniele …

Subtyping in concurrency has been extensively studied since early 1990s as one of the most
interesting issues in type theory. The correctness of subtyping relations has been usually …

Boxed Ambients are a variant of Mobile Ambients that result from (i) dropping the open
capability and (ii) providing new primitives for ambient communication while retaining the …

This paper presents the Kell calculus, a family of distributed process calculi, parameterized
by languages for input patterns, that is intended as a basis for studying component-based …

Boxed Ambients are a variant of Mobile Ambients that result from dropping the open
capability and introducing new primitives for ambient communication. The new model of …

The Seal Calculus is a process language for describing mobile computation. Threads and
resources are tree structured; the nodes thereof correspond to agents, the units of mobility …