Behavioural equivalences over migrating processes with timers

Abstract

International audience; The temporal evolution of mobile processes is governed by independently operating local clocks and their migration timeouts. We define a formalism modelling such distributed systems allowing (maximal) parallel execution at each location. Taking into account explicit timing constraints based on migration and interprocess communication, we introduce and study a number of timed behavioural equivalences, aiming to provide theoretical underpinnings of verification methods. We also investigate relationships between such behavioural equivalences.

Document type: Part of book or chapter of book

Full document

Original document

The different versions of the original document can be found in:

• https://link.springer.com/content/pdf/10.1007%2F978-3-642-30793-5_4.pdf