Skip to main content
Top

Distributed Computing

Issue 6/2016

Content (3 Articles)

Byzantine gathering in networks

Sébastien Bouchard, Yoann Dieudonné, Bertrand Ducourthial

Formal verification of mobile robot protocols

Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil

Premium Partner