%0 Conference Proceedings
%T Behavioural Equivalences over Migrating Processes with Timers
%+ Faculty of Computer Science [Iași]
%+ School of Computing Science
%A Aman, Bogdan
%A Ciobanu, Gabriel
%A Koutny, Maciej
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
%C Stockholm, Sweden
%Y Holger Giese
%Y Grigore Rosu
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-7273
%P 52-66
%8 2012-06-13
%D 2012
%R 10.1007/978-3-642-30793-5_4
%K mobility
%K timer
%K process algebra
%K bisimulation
%K behaviour
%K equivalence
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01528734/document
%2 https://inria.hal.science/hal-01528734/file/978-3-642-30793-5_4_Chapter.pdf
%L hal-01528734
%U https://inria.hal.science/hal-01528734
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS
%~ IFIP-LNCS-7273