1 paper
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…