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

Les horaires de soutenance du mini-projet du Mardi 27 Mai 2014 sont disponibles ici

Voici l'énoncé du mini-projet : Mini-projet-2014.

Il est à rendre par mail à sangnier@liafa.univ-paris-diderot.fr pour
le Lundi 19 Mai 2014 à 23h59 au plus tard .

Les groupes doivent être envoyés par mail à sangnier@liafa.univ-paris-diderot.fr pour
le Mercredi 9 Avril 2014 à 23h59 au plus tard.

• Cours : Mardi 9h00-11h00. Salle 2027
• TP : Mercredi 11h00-13h00. Salle 2031

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


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

• TP 1
• TP 2
• TP 3
• Exemple de codes C avec variables de condition
• TP 4
• TP 5
• TP 6

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