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

• Cours :Jeudi 13h30-15h30. Salle 2011
• TP : Vendredi 16h30-18h30. Salle 2031 et 2032

• Responsable du cours : Arnaud Sangnier


• Responsable des TP : Constantin Enea


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

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