par Devillers, Raymond ;Van Begin, Laurent
Référence Information processing letters, 99, 5, page (208-214)
Publication Publié, 2006-09
Article révisé par les pairs
Titre:
  • Boundedness undecidability for synchronized nets
Auteur:Devillers, Raymond; Van Begin, Laurent
Informations sur la publication:Information processing letters, 99, 5, page (208-214)
Statut de publication:Publié, 2006-09
Sujet CREF:Informatique appliquée logiciel
Informatique générale
Informatique mathématique
Mots-clés:Boundedness
Concurrency
Decidability
Synchronized nets
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0020-0190
info:doi/10.1016/j.ipl.2006.04.009
info:pii/S0020019006001293
info:scp/33745671097