Below are the class notes for my lectures on CCS (in French);
any comments are welcome and will be duly acknowledged in
future versions: thanks to Bilal Kanso who detected an error in the slides.
- Examen rattrapage le mercredi 24 juin de 8h30 à 10h30 Salle 106 tour 55-65.
- Les notes sont publiées. Consultation des copies le mercredi 10 juin de 13 h 15 - 13 h 30 Amphi 41 B.
- Premier cours : mercredi 4 Février 2009 de 8h30 à 10h30, AMPHI 41A. Premier TD : mercredi 11 Février 2009, de 13h30 à 17h45.
- Cours sur CCS et la logique de Hennessy-Milner
première partie pdf,
deuxième partie pdf
- TD1 sur CCS et la logique de Hennessy-Milner postscript , pdf.
- TD2 sur CCS et la logique de Hennessy-Milner postscript , pdf La plupart des exercices proviennent du livre de L. Aceto et al. Reactive Systems et du cours de l'Université de Eindhoven (M. Reniers et M. Mousavi) Software Specification..