Let CSMPn,t[SO] be the system model CSMPn,t[∅] weakened as follows: a faulty process is a process that crashes, or a process that forgets to send messages. Hence, a faulty process can never crash, but...

Let CSMPn,t[SO] be the system model CSMPn,t[∅] weakened as follows: a faulty process is

a process that crashes, or a process that forgets to send messages. Hence, a faulty process can

never crash, but the message it is assumed to broadcast during a round can be received by an

arbitrary subset of process. This failure model is called the send omission failure model.

Design and proof a consensus algorithm suited to the model CSMPn,t[SO].

Solution in Chapter 7 of [367].