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. © 2012 IFIP International Federation for Information Processing.
CITATION STYLE
Aman, B., Ciobanu, G., & Koutny, M. (2012). Behavioural equivalences over migrating processes with timers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7273 LNCS, pp. 52–66). https://doi.org/10.1007/978-3-642-30793-5_4
Mendeley helps you to discover research relevant for your work.