Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

1 résultat

Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols

Saba Aflaki , Borzoo Bonakdarpour , Sébastien Tixeuil
The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.156-170, ⟨10.1007/978-3-319-21741-3_11⟩
Communication dans un congrès hal-01213273v1