par Devillers, Raymond Cliquez pour télécharger la liste de publications de l'auteur; Klaudel, Hanna H.; Koutny, Maciej M.
Référence Formal aspects of computing, 20, 4-5, (page 429-450)
Publication Publié, 2008-07
Article révisé par les pairs
Titre :
  • A compositional Petri net translation of general π-calculus terms
Auteur : Devillers, Raymond ; Klaudel, Hanna H. ; Koutny, Maciej M.
Informations sur la publication : Formal aspects of computing, 20, 4-5, (page 429-450)
Statut de publication : Publié, 2008-07
Sujet CREF : Informatique appliquée logiciel
Informatique mathématique
Mots-clés : π-Calculus
Compositional translation
Mobility
Petri nets
Process algebra
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0934-5043 
info:doi/10.1007/s00165-008-0079-2