Théorie et Pratique de la Concurrence

algorithmes d’exclusion mutuelle (Dekker, Peterson, Boulangerie,…),

• synchronisation de haut et bas niveau: verrous, moniteurs barrières,
• modèles et preuves d’algorithmes,

Prérequis : notions de base en algorithmique et en Java.