Détecteur de défaillances minimal pour le consensus adapté aux réseaux inconnus
Résumé
Cet article présente une implémentation asynchrone d'un nouveau détecteur de défaillances minimal pour la résolution du consensus dans le cas de réseaux inconnus, i.e., sans connaissance préalable sur le système. Ce détecteur ne repose pas sur des minuteurs. Nous donnons une propriété comportementale raisonnable, suffisante pour garantir son implémentation.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...