par Devillers, Raymond ;Klaudel, Hanna;Koutny, Maciej
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; Koutny, Maciej
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 générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:scp/33845935312