Troisième journée Choco
Projet Choco, Bologne, INRIA Sophia et IML.
21 février 2008 10:00
limd
2:00:00
Abstract:
Programme:
- Davide Sangiorgi (Bologne), Bisimulation for higher-order languages.
- Gérard Boudol (INRIA Sophia), Fair cooperative multithreading.
- Emmanuel Beffara (IML, Marseille), Calculs de processus «algébriques».