#algorithmes #fr #distributedalgorithms #sorbonne

Datation

à chaque événement on associé la date d’occurrence

\[ a \longmapsto D(a) \]

objectif: trouver un système de datation \(D\) qui respecte et représente au mieux la relation précédence causal.

• respecte: \(a \rightarrow b \Rightarrow D(a) < D(b)\)
• représente: \(a \rightarrow b \Leftarrow D(a) < D(b)\)