Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Concurrence et Mobilité

Concurrence et Mobilité

Supports de cours

Cours 1: Variables partagées et sémaphores.
Cours 2: Canaux et Concurrent ML.
La théorie du join-calcul.
Les équivalences de programmmes concurrents.
Le tutoriel de JoCaml
Etude des propriétés de sécutité.

Annales de sujets d'examen

Notez que la formualtion du sujet a suivi l'évolution du contenu du cours.

Sujets de : 1998, 1999, 2000 (corrigé), 2001 (corrigé).