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 enriched with programming

read more