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 …

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 …

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 …

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 …

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 …

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

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 …

1 Entre les deux guerres, un mouvement international visant à promouvoir une organisation
scientifique du travail se développa en Europe et en Amérique du Nord. En France, on …

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 …