Lamport Snapshots? (#8) · Issues · distributed-systems / models