High-availability algorithms for distributed stream processing
A survey of rollback-recovery protocols in message-passing systems