Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling and Verification of Timed Interaction and Migration

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


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We present a process algebra where timeouts of interactions and adaptable migrations in a distributed environment with explicit locations can be defined. Timing constraints allow to control the interaction (communication) between co-located mobile processes, and a migration action with variable destination supports flexible movement from one location to another. We define an operational semantics, and outline a structural translation of the proposed process algebra into operationally equivalent finite high level timed Petri nets. The purpose of such a translation is twofold. First, it yields a formal semantics for timed interaction and migration which is both compositional and allows to deal directly with concurrency and causality. Second, it should facilitate the use of simulation and verification tools developed within the area of Petri nets.

Publication metadata

Author(s): Ciobanu G, Koutny M

Editor(s): Fiadeiro, J.L., Inverardi, P.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Fundamental Approaches to Software Engineering: 11th International Conference (FASE). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS)

Year of Conference: 2008

Pages: 215-229

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer- Verlag


DOI: 10.1007/978-3-540-78743-3_16

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540787426