Next: Consensus Under Synchrony Up: Figures in the book Previous: Knowledge and Common Knowledge

Consensus Under Asynchrony

**Figure:** Notation
$\begin{figure}\begin{center} \begin{tabular}{\vert l \vert l\vert} \hline $G,H,J... ...hich events in $s$ are defined.\\ \hline \end{tabular}\end{center}\end{figure}$

**Figure:** (a) Commutativity of disjoint events (b) Asynchrony of messages
$\begin{figure}\centerline{\epsfbox{figs/flp2.eps}}\end{figure}$

**Figure:** (a) Case 1: $proc(e) \neq proc(f)$ (b) Case 2:
$\begin{figure}\centerline{\epsfbox{figs/flp1.eps}}\end{figure}$

Vijay K. Garg 2005-02-08