Checkpoint-based rollback recovery in session programming

Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions which led to an undesire…