Master d’informatique 2007 2008 de l’université Paris VI
sacc
Documents du cours SACC 2007

Les documents disponibles pour le cours SACC 2007 sont consultables depuis cette page

  1. Cours 1 : Introduction, syntaxe formelle, congruence structurelles
  2. Cours 2 : Sémantique opérationnelle
  3. Cours 3 : Equivalences comportementales
  4. Cours 4 : Passage de valeur, passage de canal
  5. Cours 5 : Implantation et outils (travaux pratiques)
  6. Cours 6 : Equivalences observationnelles
  7. Cours 7 : Logiques temporelles

Pour revenir à la page de garde, Cliquer ici

Documents joints

TD1 (PDF - 91.3 ko)

Enoncé du TD1

Defs1 (PDF - 91.3 ko)

Définitions du cours 1

TD2 (PDF - 95.1 ko)

Enoncé du TD2

Defs2 (PDF - 85.8 ko)

Définitions du cours 2

TP (PDF - 109.9 ko)

Enoncé du TP

Defs4 (PDF - 85 ko)

Définitions du cours 4 sur le pi-calcul

Defs3 (PDF - 92.8 ko)

Définition du cours 3 : équivalences comportementales

TD3 (PDF - 94.8 ko)

Enoncé du TD3 : équivalences comportementales

Defs7 (PDF - 89.8 ko)

Définitions du cours 7

TD7 (PDF - 70.5 ko)

Enoncé du TD7

Defs6 (PDF - 93.8 ko)

Définitions du cours 6

TD6 (PDF - 80.3 ko)

Enoncé du TD6