Checkpoint-based rollback recovery in session programming
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 undesired state.To assist this task, session-based languages can be endowed with reversibility mechanisms.In this paper we propose a language Single Inlet 4 Way Water V