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, 3235, (page 309-325)
Publication Publié, 2004
Article révisé par les pairs
Titre :
  • Petri net semantics of the finite π-calculus
Auteur : Devillers, Raymond ; Klaudel, Hanna H. ; Koutny, Maciej M.
Informations sur la publication : Lecture notes in computer science, 3235, (page 309-325)
Statut de publication : Publié, 2004
Sujet CREF : Informatique générale
Informatique mathématique
Note : SCOPUS: ar.k
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743