À la recherche du détecteur de fautes minimal pour le k-accord
Résumé
Ce rapport de stage de master recherche en informatique présente des travaux effectués dans le domaine des systèmes distribués asynchrones. Il s'agit d'études visant à déterminer le plus faible détecteur de faute permettant de résoudre le problème du k-accord dans un système distribué asynchrone où les processus communiquent par passage de messages et où un nombre arbitrairement grand de défaillances peuvent survenir.