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 …

Go is a production-level statically typed programming language whose design features
explicit message-passing primitives and lightweight threads, enabling (and encouraging) …

In higher-order process calculi, the values exchanged in communications may contain
processes. A core calculus of higher-order concurrency is studied; it has only the operators …

Subbisimilarity is proposed as a general tool to classify the relative expressive power of
process calculi. The expressiveness of several variants of CCS is compared in terms of the …

In this paper we investigate the expressive power of three alternative approaches to the
definition of infinite behaviours in process calculi, namely, recursive definitions, replication …

This paper proposes a definition of what it means for one system description language to
encode another one, thereby enabling an ordering of system description languages with …

Abstract Theory of Interaction aims to provide a foundational framework for computation and
interaction. It proposes four fundamental principles that characterize the common features of …

Depth-bounded processes form the most expressive known fragment of the π-calculus for
which interesting verification problems are still decidable. In this paper we develop an …

In this paper, we present a unified approach to evaluating the relative expressive power of
process calculi. In particular, we identify a small set of criteria (that have already been …

The investigation into the foundational aspects of linguistic mechanisms for programming
long-running transactions (such as the scope operator of WS-BPEL) has recently renewed …