• Citer

Reachability in networks of register protocols under stochastic schedulers

par Bouyer, Patricia P.;Markey, Nicolas N.;Randour, Mickael ;Sangnier, Arnaud;Stan, Daniel
Référence Leibniz international proceedings in informatics, 55, 106
Publication Publié, 2016-08

Article révisé par les pairs

• Détails
• Contenu

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