
Efficient distributed snapshots in an anonymous asynchronous message-passing system
Keywords: Distributed computing; Anonymous systems; Global snapshot; Causality; Global state; Termination detection