TY  - THES
DP  - http://www.theses.fr/2010ENSL0595
TI  - Terminaison des systèmes concurrents
AU  - Demangeon, Romain
A3  - Hirschkoff, Daniel; Sangiorgi, Davide
PY  - 2010
SP  - 1 vol. (168 p.)
N1  - Thèse de doctorat Informatique Lyon, Ecole normale supérieure 2010
N1  - Thèse de doctorat Informatique Università degli studi (Bologne, Italie) 2010
N1  - 2010ENSL0595
ER  -