par Devillers, Raymond Cliquez pour télécharger la liste de publications de l'auteur; Klaudel, Hanna H.; Koutny, Maciej M.; Pommereau, Franck F.
Référence Fundamenta informaticae, 54, 4, (page 295-344)
Publication Publié, 2003-03
Article révisé par les pairs
Titre :
  • Asynchronous Box Calculus
Auteur : Devillers, Raymond ; Klaudel, Hanna H. ; Koutny, Maciej M. ; Pommereau, Franck F.
Informations sur la publication : Fundamenta informaticae, 54, 4, (page 295-344)
Statut de publication : Publié, 2003-03
Sujet CREF : Informatique générale
Informatique mathématique
Théorie des nombres
Algèbre linéaire et matricielle
Mots-clés : Petri nets
Process algebra
Structured operational semantics
Synchronous and asynchronous communication
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0169-2968