Algorithm 3 DC_Processing( )

SEND_message(Pi, DM); // Pi sends DM  TRANSMIT_message(CHs, DM); // CHs transmits DM  UPDATE_S_InterCDG(Pi, Pj); // update S_InterCDG  TRANSMIT_message(CHt, DM);  UPDATE_R_InterCDG(Pi, Pj);  RECEIVE_message(Pj, DM); // Pj receives DM if (Pj has taken DCj) then  RECEIVE(DM); else if (∄M((Send(M) >> CKPk) || (Receive(M) >> CKPk)) then  TURN_CKP(CKPk, DCj); // CKPk turns to DCj else  STORE_CKP(DCj);