DistributedSnapshotsDeterminingGlobalStatesofDistributedSystems