Introduction à CCS

• Présentation générale
  Intro rapide carte_memo

• Travaux dirigés cahier d'exos1

• Travaux pratiques

• Bibliographie

  • Communication and concurrency, (sur CCS) R. Milner, Prentice-Hall, 1989

  • Introduction to CCS,  by L. Aceto Aalborg University 

Introduction à LOTOS

• Présentation générale : copie des "slides"
  Intro rapide carte_memo

• Travaux dirigés cahier d'exos N°1

• Travaux pratiques :
  Présentation de l'étude à faire
  Présentation de CADP
  Un exemple d'étude

• Bibliographie

  • Introduction à LOTOS, H. Garavel, Inria

  • Modélisation et analyse de systèmes asynchrones avec CADP, par R. Mateescu, Inria

  • Tutorials de Lotos, LNT, CADP