Read-Write Memory and k-Set Consensus as an Affine Task

Eli Gafni, Yuan He, Petr Kuznetsov +1

The wait-free read-write memory model has been characterized as an iterated \emph{Immediate Snapshot} (IS) task. The IS task is \emph{affine}---it can be defined as a (sub)set of s…