Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Image document

On the Power of Oracle Omega? for Self-Stabilizing Leader Election in Population Protocols

Joffroy Beauquier , Peva Blanchard , Janna Burman , Oksana Denysyuk
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France
Communication dans un congrès hal-00839759v3
Image document

Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs

Joffroy Beauquier , Peva Blanchard , Janna Burman
2013
Rapport hal-00867287v2
Image document

Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example

Joffroy Beauquier , Peva Blanchard , Janna Burman , Sylvie Delaët
Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Oct 2011, Grenoble, France. ⟨10.1007/978-3-642-24550-3_6⟩
Communication dans un congrès hal-00639583v1
Image document

A Weakest Oracle for Symmetric Consensus in Population Protocols

Joffroy Beauquier , Peva Blanchard , Janna Burman
2014
Rapport hal-00992524v1