These Informatique, Universite Toulouse, 1986.
Abstract: Utilisation des réseaux Predicats/Transistions pour modéliser le protocole de niveau 3 du système de signalisation no 7 du CCITT. Proposition d'un nouveau formalisme, Réseau de Données Abstraites, combinant les réseaux de Petri et les types abstraits algébriques. Discussion des possibilités de vérification construites à partir des Réseau de Données Abtraites.