Habilitation à Diriger des Recherches

Sémantique dynamique d'un langage à objets parallèle

extension parallèle d'Eiffel (travaux de Denis Caromel)

héritage et liaison dynamique d'Eiffel

objets et processus + polymorphisme

envoi de messages & communication asynchrone

style big-step pour héritage et liaison dynamique

style small-step pour l'interleaving (système de transition)

spécification de l'attente par nécessité

environnement graphique interactif

explosion combinatoire du nombre de transitions