Prove correct the improved algorithm of Fig. 4.5. Extend the algorithm presented in Fig. 4.6 so that a process can brb-broadcast, not a single message, but a sequence of messages, each one being...

Prove correct the improved algorithm of Fig. 4.5.

Extend the algorithm presented in Fig. 4.6 so that a process can brb-broadcast, not a single

message, but a sequence of messages, each one being broadcast in a separate BRB-broadcast

instance.

Solution in Section 9.3.