Remark 1 in Section 16.2 considers the case where messages in the sequence to deliverablei are represented only by their identity proc. id, seq. number. Construct an execution where the scenario...

Remark 1 in Section 16.2 considers the case where messages in the sequence to deliverablei

are represented only by their identity proc. id, seq. number.

Construct an execution where the scenario described in the remark occurs (namely, the identity

of a message m appears in resi, while m has not yet been urb-delivered).