Next: Clocks of Different Dimensions Up: Figures in the book Previous: Logical Clocks

Verifying Clock Algorithms

**Figure:** The vector clock algorithm VC2
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...$:\\ \> \> $t.v := s.v;$\\ \> \> \{$ t.v = s.v$\} \end{tabbing}\end{minipage}}$

**Figure:** A sample execution of the vector clock algorithm VC2
$\begin{figure}\centerline{\epsfbox{figs/2VectorAlgoFig.eps}}\end{figure}$

Vijay K. Garg 2005-02-08