Paradigmes de Programmation Concurrente
Cours
Cours 06
: Pi et Bisim.
Cours 07
: Pi Typé.
Examens
Examen Réparti 1 de
PPC
(partie Romain)
: année 2016-2017.
TDs
TD 4
: Pi et Bisim.