2 citations · 3 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.DC2026
Conflict-Freedom as a Progress Condition
Petr Kuznetsov, Pierre Sutra, Guillermo Toyos-Marfurt
An obstruction-free implementation guarantees progress to every operation that is given enough time to take steps in isolation. But, as we show in this paper, the mere presence of…
cs.DC2026
Pending Conflicts Make Progress Impossible
Petr Kuznetsov, Pierre Sutra, Guillermo Toyos-Marfurt
In this work, we study progress conditions for commutativity-aware, linearizable implementations of shared objects. Motivated by the observation that commuting operations can be ex…