IN.5022 Systèmes concurrents et distribués [SA-2026]

Nous aborderons dans ce cours quelques-uns des problèmes principaux en programmation répartie (élection d'un leader, exclusion mutuelle, temps logique et synchronisation, algorithmes de graphes, communication de groupe, consensus, etc.).