Telecharger Cours

Horloge logique

Horloges scalaires. Chaque site i g`ere un compteur (une horloge HLi ) dont la valeur est un entier. Utilisation : Chaque év`enement local est daté (HLi ).



Download