A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus / Olivier
Baldellon, 2010
Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel
/ Olivier Baldellon ; sous la direction de Jean Charles Fabre et de Matthieu Roy.
Thèse de doctorat : Informatique, systèmes informatiques : Toulouse, INP : 2014