Sébastien Tixeuil
Routing adaptive self-stabilization adaptive systems algorithm algorithms disributed algorithms distributed systems error-correcting codes group communication mobile computation operating system organization self-organization self-stabilization verification