TD de Théorie et pratique de la concurrence
M1 Informatique 2011-2012
La page du cours se trouve
ici
.
Les notes du controle continu et du TP sont disponibles
ici
.
Voici l'énoncé du TP noté :
TP noté
. Il est à rendre par mail à sangnier@liafa.jussieu.fr pour
le Dimanche 13 Mai 2012 à 23h59 au plus tard.
HORAIRES
Jeudi 8h30-10h30. TD: Salle 071E - TP: Salle 548C
ORGANISATION
Responsable du cours:
François Laroussinie
Responsable des TD:
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 pour le contrôle continu. En deuxième session, la note est celle de l'examen.
ENONCES DES TD
TD 1
TD 2
TP 1
TP 2
TD 3
TP 3
(
exemple1.c
,
exemple2.c
)
TP 4
(
prodcons.c
)
TD 4
TD 5
LIENS
Le model-checker
Spin