next up previous
Next: Control of a Distributed Up: Figures in the book Previous: Channel Predicates

Termination Detection

Figure: Termination detection algorithm
\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ... environment detects termination when $(D = 0)$.\\ \end{tabbing}\end{minipage}}


Vijay K. Garg 2005-02-08