42 citations · 64 across the 12 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…