Cours Concurrence DEA

1. Shared memory [Ps, Pdf]

2. Interaction [Ps, Pdf]

3. CCS [Ps, Pdf]

4. Bisimulations [Ps, Pdf]

   
   
   Cours des années précédentes

5. Davide Sangiorgi [Ps]

6. Pierre-Louis Curien [Ps]