Koo & Toueg Checkpointing Protocol AOS