If we consider any AGM [automatic generation of messages] a possible … The following four rules constitute such an algorithm. … (1) A unique identifier should be associated with … (2) Whenever a message M_2 is being generated … of M_2 should be the same as that … (3) The identifiers of all messages for which … a message with an identifier that exists in … implemented correctly, are sufficient to prevent chain reactions … [assuming failure-free hardware and software].
Google-1
Google-2
Copyright clearance needed for quotation.