Lazy garbage collection of recovery state for fault-tolerant distributed shared memory | IEEE Journals & Magazine | IEEE Xplore