---

Cours MPRI "Concurrence"

---

Cours

• Transparents sur quelques modèles du parallélisme I (biais catégorique) ps.gz, pdf, html
• Transparents sur quelques modèles du parallélisme II ps.gz, pdf, html
• Transparents III pdf
• Exercices

Quelques articles de référence

• Algebraic Topology (cours élémentaire de topologie algébrique)
• An introduction to Category Theory for the Working Computer Scientist
• Models for Concurrency

Projets

• Réseaux de Pétri et automates
• Articles Godefroid/Wolper: un, deux, trois, quatre
• Systèmes distribués tolérants aux pannes
• Espaces de Chu et en comparaison
• Chemins infinis, etc.

Stages

• Stages proposés - voir la page web du MPRI

  Quelques liens

  • GETCO'00
  • ENTCS 39(2)

    Equipes

    • Stanford Concurrency Group
    • Geometric Methods in Theoretical Computer Science (Aalborg)
    • Brown University
    • etc.

    ---