par Devillers, Raymond Cliquez pour télécharger la liste de publications de l'auteur; Klaudel, Hanna H.; Koutny, Maciej M.
Référence Lecture notes in computer science, 4281 LNCS, (page 138-152)
Publication Publié, 2006
Article révisé par les pairs
Titre :
  • A petri net translation of π-calculus terms
Auteur : Devillers, Raymond ; Klaudel, Hanna H. ; Koutny, Maciej M.
Informations sur la publication : Lecture notes in computer science, 4281 LNCS, (page 138-152)
Statut de publication : Publié, 2006
Sujet CREF : Informatique générale
Informatique mathématique
Mots-clés : π-calculus
Behavioural consistency
Compositional translation
Mobility
Petri nets
Process algebra
Note : SCOPUS: cp.k
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743