Contenu
Concept d'algorithmes répartis. Mesures de complexité. Analyse de performance. Méthodes de validation. Algorithmes : de routage, d'élection, de synchronisation, de consensus (communication défaillante, processus défaillant, stabilisation), pour l'exclusion mutuelle, pour l'allocation des ressources, spécifiques aux réseaux asynchrones, pour snapshots. Applications aux réseaux de communication, bases de données réparties, etc.