Techniques de synchronisation pour les applications parallèles

Synthèse des techniques de synchronisation disponibles pour programmer une application parallèle et proposition d'une suite d'exercices illustrant des problèmes génériques et des applications temps réel. Etude des processus synchronisés par sémaphores et par moniteurs de Hoare et des modèles de processus communicants ADA et CSP.