The world is increasingly populated with interactive agents distributed in space, real or
abstract. These agents can be artificial, as in computing systems that manage and monitor …

A major characteristic of developments in the broad field of Artificial Intelligence (AI) during
the 1990s has been an increasing integration of AI with other disciplines. A number of other …

Applications running on the Internet, or on limited-resource devices, need to be able to
adapt to changes in their execution environment at run-time. Current languages and …

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

A notion of bigraph is introduced as a model of mobile interaction. A bigraph consists of two
independent structures: a topograph representing locality and an edge net representing …

We describe a typing system for a distributed π-calculus which guarantees that distributed
agents cannot access the resources of a system without first being granted the capability to …

" I think this book will be the first standard introductory book on mobile agents."-José M.
Vidal, University of South Carolina Mobile agents are software nomads that act as your …

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 …

Bigraphs are graphs whose nodes may be nested, representing locality, independently of
the edges connecting them. They may be equipped with reaction rules, forming a …

A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes
represents locality, independently of the edges connecting them; it also allows bigraphs to …