Habilitation à Diriger des Recherches

Modélisations liées aux systèmes concurrents

en TLA

en Pi-calcul