Cours :
Modèles et Approches Formelles des Systèmes Distribués
Master PRISM Option RSM - ENSI
Mohamed Mosbah :
mosbah at labri.fr
Notes de cours
Plan du cours:· Introduction aux systèmes distribués
· Algorithmique : Rappels, graphes, notions de complexité
· Modèles de l’algorithmique distribuée
· Algorithmes de diffusion, arbre recouvrant, calculs locaux
· Algorithmes d’Election, cas de l’anneau, cas de l’arbre anonyme
· Terminaison
· Implémentation:
Logiciel visidia
Site web:
www.labri.fr/visidia/
Bibliographie:
1- Introduction to Distributed Algorithms
Gerard Tel
Cambridge University Press,2000
2- Distributed Computing: Fundamentals, Simulations and Advanced Topics.
Hagit Attiya and Jennifer Welch
McGraw Hill 1998
3- Distributed Systems: Concepts and Design
Coulouris, Dollimore and Kindberg
Addison-Wesley, 200