Equipe enseignante
Carole Delporte, Hugues Fauconnier, François Laroussinie.
Horaires
- Cours: mercredi 8h30--10h30, (salle 2027, SG),
- TD : mardi 13h45-15h45 (salle 2027, SG).
Actualités
Documents
Des documents sont aussi disponibles sur Moodle cours
IFEAY070 "Théorie et pratique de la concurrence".
Programme
- Introduction (sémantique d'entrelacement)
- Logique temporelle pour énoncer la correction des
programmes concurrents
- Problèmes d'exclusion mutuelle: Algorithmes (Dekker, Peterson, Bakery, ...) + preuves de correction
- Programmation Java
- outil SPIN
- Sémaphores, moniteurs, test-and-set.
- Systèmes avec canaux de communication
- Autres problèmes: Le problème des philosophes, lecteurs/écrivains.
Références bibliographiques
- "Principles of Concurrent and Distributed Programming" (Second edition):
M. Ben-Ari.
Addison-Wesley, 2006.
- "Reactive Systems: Modelling, Specification and Verification":
Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba.
Cambridge University Press, July 2007.
Email: francois.laroussinie[at]univ-paris-diderot.fr