Notes de cours de DEA 1998:

• Sémantique des langages sequentiels et concurrents

  Partie I: Sémantique dénotationnelle pour le sequentiel

  • Pages 28-74 en Postscript plus recent
  • Introduction (Postscript, Postscript Gzipped)
  • TFun, sémantique opérationnelle (Postscript, Postscript Gzipped)
  • TFun, sémantique dénotationnelle (Postscript, Postscript Gzipped)
  • Non terminaison, limitations de Set(Postscript, Postscript Gzipped)
  • Treillis, CPO's, Point fixe, continuité, domaines(Postscript, Postscript Gzipped)
  • Erreur, Exceptions, Etat, Commandes(Postscript, Postscript Gzipped)
  • Continuation, Monades (Postscript, Postscript Gzipped)

  Partie II: Sémantique pour la concurrence

  • Bisimulation, coinduction et CCS

  Feuille de TD 1996 Postscript et Postscript Gzipped

  Examen 1998gzipped postscript

  Quelques pointeurs pour un aprofondissement sont ici.

• Logique Lineaire

  • vieille version, Pisa 1992
  • mouture 1996
  • nouvelle mouture 1997 (en évolution)

Quelque pointeur...