Lorenzo Alvisi, Keith Marzullo. Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures. In Kenneth P. Birman, Friedemann Mattern, André Schiper, editors, Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers. Volume 938 of Lecture Notes in Computer Science, pages 111-120, Springer, 1994.
Abstract is missing.