In 1973Dijkstra introduced tocomputer science thenotion ofself-stabilization in the context ofdistributed systems. Hedefineda system as self-stabilizing when’’regardless ofitsinitial state, itis guaranteed to arrive at alegitimate state in afinite number of steps. ” A system which is not self-stabilizing may stay in an illegitimate state forever.