Module Experiment.Synchronization

module Synchronization: sig .. end

Computes the time needed to synchronize two eca, corresponding paper accepted.

module Experiment: functor (Topo : Types.Topology) -> functor (Synchro : Types.Synchronism) -> functor (Auto : Types.Rule) -> sig .. end