Algorithm for emulating atomic registers

outlines of this section