In this paper, we present a flexible software architecture and a language for systems of
mobile agents starting from a formalism with timed interactions and explicit locations. The …

This paper extends the TiMo family by introducing a real-time version named r TiMo. The r
TiMo processes are able to move between different locations of a distributed environment …

We present a process algebra called TiMo in which timeouts of interactions and adaptable
migrations in a distributed environment with explicit locations can be specified. Timing …

We present a process algebra where timeouts of interactions and adaptable migrations in a
distributed environment with explicit locations can be defined. Timing constraints allow to …

We extend π-calculus with real-time by adding clocks and assigning time-stamps to actions.
The resulting formalism, timed π-calculus, provides a simple and novel way to annotate …

We introduce and study a process algebra able to model the systems composed of
processes (agents) which may migrate within a distributed environment comprising a …

Nested virtualization enables a virtual machine, which is a software layer representing an
execution environment, to be placed inside another virtual machine. Nested virtual …

The article [8] described the derivation and adaptation of the applied π-calculus to enable
the integration of an explicit adversarial action model. In this, we had relied on earlier works …

Mobile ambients calculus is a formalism for mobile computing able to express local
communications inside ambients. Ambients mobility is controlled by capabilities: in, out, and …

The temporal evolution of mobile processes is governed by independently operating local
clocks and their migration timeouts. We define a formalism modelling such distributed …