Lookup NU author(s): Professor Gabriel Ciobanu,
Professor Maciej Koutny
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.
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
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Publisher: Springer- Verlag
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science