Cours Théorie et pratique de la concurrence
M1 Informatique 2014-2015

• Cours : Mardi 9h00-11h00. Salle 2036
• TP : Lundi 16h30-18h30. Salle 2031 et 2032

• Responsable du cours et des TP: Arnaud Sangnier


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

• TP 1
• TP 2
• TP 3
• TP 4
• TP 5
• TP 6
• TP 7
• TP 8

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