Recording distributed snapshots based on causal order of message delivery
scientific article; zbMATH DE number 167769