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?

I'm thinking of something like Lamport's global time model from "On interprocess communication".