Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs

Ali Mili. Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs. IEEE Transactions on Computers, 31(7):685-689, 1982.