Consider protocol MaxWave when the entities do not start necessarily at the same time, and let d be known. Let t be the (global) time the first entities start the execution of the protocol and let t (x) ≥ t be the global time when x starts.

Modify the protocol so that (eventhough x does not know t ) at time t + 2d it knows for sure that the system is operating in unison.