Travail de recherche/Working paper
Titre:
  • Towards a General Relabelling Operator for the Petri Box Calculus: (LIT 274)
Auteur:Devillers, Raymond
Informations sur la publication:Laboratoire d'informatique théorique, ULB
Statut de publication:Publié, 1993
Sujet CREF:Informatique mathématique
Langue:Anglais