TY  - THES
DP  - 
		http://www.theses.fr/1990EPXX0010
TI  - Analyse semantique des communications entre processus de programmes paralleles
AU  - MERCOUROFF, NICOLAS
A3  - Cousot, Patrick
PY  - 1990
SP  - 199 p.
N1  - Thèse de doctorat Sciences appliquées Palaiseau, Ecole polytechnique 1990
N1  - 1990EPXX0010
ER  -