Education
Gérard Berry Algorithmes, machines et langages Le temps élargi : horloges multiples, temps discrets et temps continu Deuxième leçon : Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué