7 citations · 7 across the 1 of their papers we have counts for
1 paper
Alexis Bernadet, Ivan Lanese
Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of c…