Cours Théorie et pratique de la concurrence
M1 Informatique 2016-2017

Les groupes de TP sont disponibles ici.

Les notes du partiel sont disponibles ici.

HORAIRES

Cours : Lundi 8h30-10h30. Amphi 9E
TP (Groupe 1): Mardi 16h30-18h30. Salle 2032
TP (Groupe 2): Mercredi 16h30-18h30. Salle 2032

ORGANISATION

Responsable du cours : Arnaud Sangnier

Responsable des TP : Jonas Lefèvre

Évaluation: La note finale en 1ère session est calculée comme 0.35*CC+ 0.65*Ex ou Ex est la note de l'examen et CC est la note de contròle continue. En deuxième session, la note est celle de l'examen.

ENONCES DES TP

REFERENCES 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.