next up previous
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