Koo and Toueg's Checkpoint and Recovery Algorithm