Algorithmes distribués sur des anneaux paramétrés : preuves de convergence probabiliste et déterministe
FR |
EN
Auteur / Autrice : | Marie Duflot |
Direction : | Laurent Fribourg |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2003 |
Etablissement(s) : | Cachan, Ecole normale supérieure |
Résumé
FR |
EN
Cette thèse se situe dans le cadre de la vérification de systèmes distribués. Plus précisément, nous nous intéressons aux méthodes de preuve de convergence d'algorithmes distribués s'exécutant sur des réseaux en anneau de taille paramétrée. Cette étude distingue de plus le cas des algorithmes probabilistes de celui des algorithmes déterministes.