Schéma de Programme : Problèmes d’Équivalences et Complexité Guy Cousineau, Jean-Marie Rifflet Paris VII Thèse 1970's
Cônes Rationnels et Familles Agréable de Langages – Application au Langage à Compteur Luc Boasson Paris VII Thèse 1970's
Comportements de Processus Maurice Nivat, André Arnold L.I.T.P. Thèse 1980's
Behaviours of Synchronized Systems of Processes Maurice Nivat L.I.T.P. Thèse 1980's