31 citations · 132 across the 17 of their papers we have counts for
1 paper · 2 filters
Luca Cardelli, Cosimo Laneve
Reversing a (forward) computation history means undoing the history. In concurrent systems, undoing the history is not performed in a deterministic way but in a causally consistent…