Text this: Checkpoint-based rollback recovery in session programming