.  Figure 00.0 shows an example where there are four processes,  , and  , where   and  . The initial configuration   is shown on the left. The top part of the figure shows an execution in which   write