Lectures et informations additionnelles
- Concurrent Programming for Scalable Web Architectures (chapitre 5)
- An Operating Systems Vade Mecum
- Le chapitre 8 présente toutes les techniques vues en cours y compris les expressions de chemin et invariantes.
- Communication inter-processus (partie sur les moniteurs)
- Semaphores and monitors (partie sur les moniteurs - exemples en SR)
- High-level synchronisation (partie sur les moniteurs)
- Programmation concurrente