Modern society is dependent on distributed software systems and to verify them different
modelling languages such as mobile ambients were developed. They focus on mobility by …

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

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 …

A feature of current membrane systems is the fact that objects and membranes are
persistent. However, this is not true in the real world. In fact, cells and intracellular proteins …

We propose a Calculus of Mobility and Communication (CMC) for the modelling of mobility,
communication and context-awareness in the setting of ubiquitous computing. CMC is an …

In this paper we present a version of mobile ambients, called parMA, having a weak form of
replication and a parallel semantics. We investigate how parMA can solve intractable …

Cloud computing is a paradigm of distributed computing in which users share resources by
storing data and executing processes in common data centers. A key factor for the success …

Coordination of mobile agents is realized by extending a formalism for mobility with timers.
The formalism has explicit notions of location and mobility. Timers define timeouts for …

Mathematical models are useful in different fields to provide a deeper and more insightful
understanding of various systems and notions. We refer here to the formal description of …

Ambient calculus is a calculus for mobile computing introduced to describe the movement of
processes or devices. Until now the domain capability of an ambient was defined like a static …