TY - THES DP - http://www.theses.fr/1995NICE4899 TI - Application des methodes d'ordre partiel aux equivalences comportementales des systemes concurrents AU - LARA DE SOUZA ROBERT, MONICA A3 - DE SIMONE, R. PY - 1995 SP - 105 P. N1 - Thèse de doctorat Sciences appliquées Nice 1995 N1 - 1995NICE4899 ER -