Cette UV présente les fondements des systèmes informatiques répartis (modélisation, étude, preuve, horloges, états globaux...) ainsi que les principaux algorithmes pour gérer la répartition (parcours de réseaux, élection, détection de terminaison) et la concurrence (allocation de ressources, interblocages, exclusion mutuelle, données partagées).

Un projet de programmation par groupe permet de mettre en oeuvre les algorithmes du cours.

Une étude par groupe permet d'élargir sur les problématiques du moment.