3 citations · 9 across the 5 of their papers we have counts for
1 paper · 2 filters
Egor Derevenetc, Roland Meyer, Sebastian Schweizer
Robustness is a correctness notion for concurrent programs running under relaxed consistency models. The task is to check that the relaxed behavior coincides (up to traces) with se…