Prove the algorithm described in Fig. 13.6. Consider the system model CSMPn,t[t = 1]. Is it possible to design an NBAC algorithm that always terminates in two rounds? If the answer is “yes”, design...

Prove the algorithm described in Fig. 13.6.

Consider the system model CSMPn,t[t = 1]. Is it possible to design an NBAC algorithm that

always terminates in two rounds? If the answer is “yes”, design and prove such an algorithm. If

the answer is “no”, provide an impossibility proof.