ePrints

Timed Mobility in process algebra and Petri nets

Lookup NU author(s): Professor Gabriel Ciobanu, Emeritus Professor Maciej KoutnyORCiD

Downloads

• Published version [.pdf]

Licence

This is the final published version of an article that has been published in its final definitive form by Elsevier BV, 2011.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

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 constraints allow to control the communication between co-located mobile processes, and a migration action with variable destination supports flexible movement from one location to another. The model of time is based on local clocks rather than a global clock.We provide a structural translation of TiMo into behaviourally equivalent high level timed Petri nets. As a result, we obtain a formal net semantics for timed interaction and migration which is both structural and allows one to deal directly with concurrency and causality.

Publication metadata

Author(s): Ciobanu G, Koutny M

Publication type: Article

Publication status: Published

Journal: Journal of Logic and Algebraic Programming

Year: 2011

Volume: 80

Issue: 7

Pages: 377-391

Print publication date: 12/06/2011

Date deposited: 30/09/2011

ISSN (print): 1567-8326

ISSN (electronic): 1873-5940

Publisher: Elsevier BV

URL: http://dx.doi.org/10.1016/j.jlap.2011.05.002

DOI: 10.1016/j.jlap.2011.05.002

Altmetrics

Share