Article révisé par les pairs
Titre :
  • Reachability in networks of register protocols under stochastic schedulers
Auteur : Bouyer, Patricia P. ; Markey, Nicolas N. ; Randour, Mickael ; Sangnier, Arnaud A. ; Stan, Daniel D.
Informations sur la publication : Leibniz international proceedings in informatics, 55, 106
Statut de publication : Publié, 2016-08
Sujet CREF : Généralités
Mots-clés : Almost-sure Reachability
Cut-Off Property
Networks of Processes
Parametrized Systems
Stochastic Scheduler
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1868-8969 
info:doi/10.4230/LIPIcs.ICALP.2016.106