Distributed Snapshots: Chandy-Lamport protocol
Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed...
Tags: distributedsystems, formalmethods, tla