Lookup NU author(s): Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
In this paper, we propose a structural translation of terms from a simple variant of the Klaim process algebra into behaviourally equivalent finite high level Petri nets. This yields a formal semantics for mobility allowing one to deal directly with concurrency and causality. © 2006 Elsevier B.V. All rights reserved.
Author(s): Devillers R, Klaudel H, Koutny M
Publication type: Article
Publication status: Published
Journal: Electronic Notes in Theoretical Computer Science
ISSN (print): 1571-0661
Publisher: Elsevier BV
Notes: Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005)
Altmetrics provided by Altmetric