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 …

Abstract A parallel thinning algorithm [1](Holt etc.) is compared with algorithm [2](Rutovitz)
and [3](Zhang and Suen). Analyses and experiments show that the algorithm [1] is similar to …

We define a process calculus to describe multi-agent systems with timeouts for
communication and mobility able to handle knowledge. The knowledge of an agent is …

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 …

TiMo is a process calculus for mobile systems where timers could be to used to control
process mobility and interaction. Despite its syntactic simplicity, TiMo is able to describe …

The reputation of a process is based on its past and present behaviour; it evolves in time
depending on several factors including the actions performed, the reputation of its …

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

We introduce a process algebra with processes able to migrate between different explicit
locations of a distributed environment defined by a number of distinct locations. We use …