10 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
James Hoey, Irek Ulidowski
We introduce a method of reversing the execution of imperative concurrent programs. Given an irreversible program, we describe the process of producing two versions. The first perf…