par Devillers, Raymond ;Klaudel, Hanna;Koutny, Maciej
Référence Electronic Notes in Theoretical Computer Science, 154, 3, page (71-94)
Publication Publié, 2006-07
Article révisé par les pairs
Résumé : 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.