Le principal objectif de ce cours est d'apprendre les techniques d'analyse des algorithmes distribués pour les systèmes réels combinant parallélisme avec des retards imprévisibles, tels que les multi-noyaux, réseaux sans fil, les systèmes distribués, et des protocoles Internet. Un accent particulier sera mis sur les méthodes de calcul mathématique fondées sur la topologie combinatoire.
