Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
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
Year: 2006
Volume: 154
Issue: 3
Pages: 71-94
ISSN (print): 1571-0661
ISSN (electronic):
Publisher: Elsevier BV
URL: http://dx.doi.org/10.1016/j.entcs.2006.05.008
DOI: 10.1016/j.entcs.2006.05.008
Notes: Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005)
Altmetrics provided by Altmetric