24 citations · 45 across the 9 of their papers we have counts for
1 paper · 2 filters
Ivan Lanese, Iain Phillips, Irek Ulidowski
Undoing computations of a concurrent system is beneficial in many situations, e.g., in reversible debugging of multi-threaded programs and in recovery from errors due to optimistic…