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 so

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".