Next: Computation of a Global Up: Figures in the book Previous: Causal Message Ordering

Synchronous and Total Order

**Figure:** A computation that is synchronously ordered
$\begin{figure}\vspace*{0.8in} \begin{center} <tex2html_file> ...$

**Figure:** A computation that is not synchronously ordered
$\begin{figure}\begin{center} <tex2html_file> ...$

**Figure:** The algorithm at for synchronous ordering of messages
$\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...m $P_j$, $(j < i)$ \\ \>\> $state := active$; \\ \end{tabbing}\end{minipage}}$

Vijay K. Garg 2005-02-08