Travail de recherche/Working paper
Titre:
  • On a More Liberal Synchronisation Operator for the Petri Box Calculus: (LIT 281)
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