Can anyone familiar with the linked material comment on whether there is a standard model used in the proofs there and in the DS literature?<p>I&#x27;m thinking of something like Lamport&#x27;s global time model from &quot;On interprocess communication&quot;.