Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems | IEEE Journals & Magazine | IEEE Xplore