Cours Théorie et pratique de la concurrence
M1 Informatique 2012-2013

• Cours : Mercredi 16h00-18h00. Salle 265E
• TD/TP : Vendredi 15h00-17h00. Salle 2032

• Responsable du cours: Arnaud Sangnier
• Responsable des TD: Daniele Varacca


• É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 pour le contrôle continu. En deuxième session, la note est celle de l'examen.

• TD 1
• TD 2
• TP 1
• TP 2
• TD 3
• TP 3
• TP 4

• "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.