  . Two alternative executions appear at the top and bottom of the figure. The top shows an execution where   writes and reads first, followed by  . The bottom shows an execution where   writes and reads first, followed by  . In both executions, if we halt the processes in  , then we end up at the same configuration