Agent technology currently plays an important role in complex software development. The
underlying paradigm offers a large repertoire of original concepts, architectures, interaction …

Process algebras can be enriched with localities that explicitly describe the distribution of
processes. Localities may represent physical machines, or more generally distribution units …

One source of trust for physical trading systems is their physical assets and simply their
presence. A similar baseline does not exist for electronic trading systems, but one way in …

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 …

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 …

We study a behavioral theory of Mobile Ambients, a process calculus for modelling mobile
agents in wide-area networks, focussing on reduction barbed congruence. Our contribution …

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 …

We study a variant of Levi and Sangiorgi's Safe Ambients (SA) enriched with passwords
(SAP). In SAP by managing passwords, for example generating new ones and distributing …