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 drop** 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 …

We study information flow security in the setting of mobile agents. We propose a sufficient
condition to security named Persistent_BNDC. A process is Persistent_BNDC when every of …

Current software and hardware systems, being parallel and reconfigurable, raise new safety
and reliability problems, and the resolution of these problems requires new methods …

Boxed Ambients (BA) replace Mobile Ambients' open capability with communication
primitives acting across ambient boundaries. The expressiveness of the new communication …

Boxed ambient calculi have been used to model and reason about a wide variety of
problems in mobile computing. Recently, several new variants of Boxed Ambients have …

We develop the semantic theory of a foundational language for modelling applications over
global computers whose interconnection structure can be explicitly manipulated. Together …

G-relative pushouts (GRPOs) have recently been proposed by the authors as a new
foundation for Leifer and Milner's approach to deriving labelled bisimulation congruences …

This paper presents the Kell calculus, a new distributed process calculus that retains the
original insights of the Seal calculus (local actions, process replication) and of the M …