Upon receiving Req from
For  
  if  
    , send Ack to
  else if  
     , send Ack to
   else send Ack to
    end if
  else send Ack to
   end if
 Upon receiving Ack
if  Ack
  
else
  
end if
  End
Algorithm 2: Synchronized coordination for DLRA.