next up previous
Next: Consensus Under Asynchrony Up: Figures in the book Previous: Self-Stabilization

Knowledge and Common Knowledge

Figure: Notation
\begin{figure}\begin{center}
\begin{tabular}{\vert l \vert l\vert}
\hline
$p$ &...
... $b$ is true at computation $x$\\
\hline
\end{tabular}\end{center}\end{figure}



Vijay K. Garg 2005-02-08