We introduce a method of reversing the execution of imperative concurren...
In this paper the reversibility of executable Interval Temporal Logic (I...
We show how to reverse a while language extended with blocks, local
vari...
We propose an approach and a subsequent extension for reversing imperati...