Distributed Algorithms
Contents
Index
CHAPTER: Review Sequential Programming
Nondeterministic Iteration
Predicates
Hoare Triples
Invariants
Loop Termination
Examples of Correctness Proofs
Review: Sequential Programming
This chapter is a brief review of
nondeterministic iteration
,
predicates
,
Hoare triples
,
invariant and stable predicates
, and
the use of variant functions (also called loop variants) in proving termination of loops
. We use these concepts in designing both sequential and distributed algorithms.
K. Mani Chandy, Emeritus Simon Ramo Professor, California Institute of Technology