Multiphase stabilization
We generalize the concept of stabilization of computing systems. According to this generalization, the actions of a system S are partitioned into n partitions, called phase 1 through phase n. In this case, system S is said to be n-stabilizing to a state predicate Q iff S has state predicates P.0, ..., P.n such that P.0 = true, P.n = Q, and the following two conditions hold for every j, l   1 is usually easier than when n = 1. Third, this generalization suggests a new method of fault recovery, called multiphase recovery.
computing system multiphase recovery convergence periodic reset self-stabilization spanning tree construction