Timed Mobility in process algebra and Petri nets

Aceto, 1996, Timing and causality in process algebra, Acta Inform., 33, 317, 10.1007/s002360050047

Berger, 2004, Basic theory of reduction congruence for two timed asynchronous pi-calculi, vol. 3170, 115

Best, 1998, M-Nets: an algebra of high level Petri nets, with an application to the semantics of concurrent programming languages, Acta Inform., 35, 813, 10.1007/s002360050144

Christensen, 1993, Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs, vol. 691, 186

Ciobanu, 2008, Modelling and verification of timed interaction and migration, vol. 4961, 215

Ciobanu, 2006, Timers for distributed systems, Electron. Notes Theoret. Comput. Sci., 164, 81, 10.1016/j.entcs.2006.07.013

Corradini, 2000, Absolute versus relative time in process algebras, Inform. and Comput., 156, 122, 10.1006/inco.1999.2821

Devillers, 2006, A Petri net semantics of a simple process algebra for mobility, Electron. Notes Theoret. Comput. Sci., 154, 71, 10.1016/j.entcs.2006.05.008

Devillers, 2003, Asynchronous box calculus, Fund. Inform., 54, 295

Devillers, 2008, A compositional Petri net translation of general π-calculus terms, Formal Aspects Comput., 20, 429, 10.1007/s00165-008-0079-2

Niaouris, 2004, An algebra of Petri nets with arc-based time restrictions, vol. 3407, 447

Starke, 1990, Some Properties of Timed Nets under the Earliest Firing Rule, vol. 424, 418