UE : Modèles et Approches Formelles des Systèmes Distribués 
      Il existe de nombreux modèles et approches formelles qui permettent d'une part de mieux 
      appréhender, et d'autre part de prouver et valider des algorithmes et des applications 
      distribuées au sens large. Cette UE a pour objectif de présenter une approche fondée sur 
      les calculs locaux. 
Plan du cours:
 
      1- Introduction aux systèmes distribués      
      2- Modèles de calcul distribué 
      3-  Claculs locaux : arbres recouvrants (Mosbah)
         Quelques définitions des calculs locaux 
      4- Outils probabilistes pour l'algorithmique distribuée 
      5- Algorithmes d'élection dans les anneaux avec identités 
      6- Algorithmes d'élection dans les arbres avec identites et les graphes de topologie arbitraire avec identités 
      7- Algorithmes d'élection par calculs locaux dans les arbres dans les réseaux anonymes 
      8- Le problème du Rendez-Vous 
      9- Elections Locales  
     10- Terminiaison distribuée 
     11- Algorithme d'énumération de Mazurkiewicz  
     12- Implémentation : Plate-forme visidia 
Projet: 
        
        Le projet consiste à concevoir et développer un algorithme distribué à 
        l'aide de visidia (donner le système de réécriture, le prouver, et l'implémenter 
        à l'aide de l'API de visidia).
        Projet 2007-2008 
        
Examen : Examen 2005
         Examen 2006
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