Fast and Message-Efficient Global Snapshot Algorithms for Large-Scale Distributed Systems | IEEE Journals & Magazine | IEEE Xplore