Research Activities of Colette Johnen

PhDs proposals

On the restricted use of concurrent objects De l'utilisation restreinte d'objets concurrents

Research Interests

I did my PhD on analysis Techniques of Petri nets.

Since 1995, my main research topic is the design of distributed algorithms, more precisely the design of self-stabilizing algorithms :
I am also interest in several other topics related to the design of distributed algorithms :


PhD Students




Master Thesis since 1993