Nd Termination Sample Clauses

Nd Termination. If the sender pi is non-faulty, all the non-faulty processes eventually ND-deliver 40 its message. 41 42 Let us observe that, if the sender pi is faulty, it is possible that some non-faulty processes ND- 43 deliver a message from ▇▇ while others do not ND-deliver a message from ▇▇. As already indicated, 44 the no-duplicity property prevents non-faulty processes from ND-delivering different messages from a 46 faulty sender.