Théorie et pratique de la concurrence

Master 1 Ingénierie Informatique de Paris 7

Le responsable du cours est François Laroussinie. Les cours ont lieu les lundis 12h30-14h30 amphi 6C. La page du cours se trouve ici.
La responsable des TD est Mihaela Sighireanu. Les TD ont lieu les mardis 12h30-14h30 dans la salle 473F; les TP ont lieu au même horaire en salle 548C.
Évaluation : La note finale en 1ere 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.

Les polycopies du cours se trouvent sur la page du cours.

Les sujets des TD et TP se trouverons ci-dessous: consultez cette page regulièrement!

TD 1 [notes avec correction] (2 fevr.): Introduction à la concurrence, la logique LTL.
TD 2 [notes] (9 fevr.): Algorithmes d'exclusion mutuelle.
TP 3 [notes] (16 fevr.): Spin.
TD 4 [notes avec correction] (23 fevr.): Algorithmes d'exclusion mutuelle (preuve).
TP 5 [notes, correction] (2 et 16 mars): Algorithmes distribués d'exclusion mutuelle (Spin).
TP 7 [notes, source exo 1, source exo 2 ] (23 mars): Semaphores.
TD 8 [notes, exo corrigé ] (6 avr.): Moniteurs.
TD 9 [notes avec correction ] (13 avr.): Modélisation avec CCS.

Le contrôle continu aura lieu en TD le 30 mars 2010 en Amphi 6C.

Annales :

Dernière modification : Tue Apr 13 11:26:38 CEST 2010
URL: http://www.liafa.jussieu.fr/~sighirea/cours/concur/index.html