Travail de recherche/Working paper
Titre:
  • The Synchronisation Operator Revisited for the Petri Box Calculus: (LIT 290)
Auteur:Devillers, Raymond
Informations sur la publication:Laboratoire d'informatique théorique, ULB
Statut de publication:Publié, 1994
Sujet CREF:Informatique mathématique
Langue:Anglais