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