---

DEA Programmation

---

Cours

• Quelques notes préliminaires ps.gz
• Transparents sur quelques modèles du parallélisme (biais catégorique) ps.gz

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

• 2 stages proposés itération sur les politiques, systèmes tolérants aux pannes

Quelques liens

• GETCO'00
• ENTCS 39(2)
• Plaquette du DEA

Equipes

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