The design of formal calculi in which fundamental concepts underlying interactive systems
can be described and studied has been a central theme of theoretical computer science in …

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 …

In this paper, we present a process calculus called BigrTiMo that combines the rTiMo
calculus and the Bigraph model. BigrTiMo calculus is capable of specifying a rich variety of …

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

A virtual machine, which is a software layer representing an execution environment, can be
placed inside another virtual machine. As virtual machines at every level in a location …

Distributed π-calculus and ambient calculus are extended with timers which may trigger
timeout recovery processes. Timers provide a useful notion of relative time with respect to …

Membrane systems are computing devices inspired from the cell functioning. A feature of
membrane systems is the fact that objects and membranes are persistent. In fact, this is not …

The complexity of the software-intensive systems requires working with notions as explicit
locations in a distributed system, interaction among the mobile processes restricted by …

Abstract The process algebras Timed Mobility (TiMo) and its extension Permissions, Timers
and Mobility (PerTiMo) were recently proposed to support engineering applications in …