par Best, Eike Cliquez pour télécharger la liste de publications de l'auteur; Devillers, Raymond Liste de publications
Référence Acta informatica, 52, 1, (page 35--60)
Publication Publié, 2015
Article révisé par les pairs
Titre :
  • Synthesis and reengineering of persistent systems
Auteur : Best, Eike ; Devillers, Raymond
Informations sur la publication : Acta informatica, 52, 1, (page 35--60)
Statut de publication : Publié, 2015
Sujet CREF : Informatique mathématique
Mots-clés : Cyclic Behaviour, Distributability, Labelled Transition Systems, Parikh Vectors, Persistence, Petri Nets, Region Theory, Synthesis, System Reengineering
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0001-5903 
info:doi/10.1007/s00236-014-0209-7