TY - THES DP - http://www.theses.fr/1992TOU30247 TI - Objets coopératifs : un formalisme pour la modélisation des systèmes concurrents AU - Bastide, Rémi A3 - Barthet, Marie-France PY - 1992 SP - VI-277 p N1 - Thèse de doctorat Informatique Toulouse 3 1992 N1 - 1992TOU30247 ER -