A checkpoint protocol for an entry consistent shared memory system
From MaRDI portal
Publication:5361402
DOI10.1145/197917.197973zbMath1373.68116OpenAlexW2093956690MaRDI QIDQ5361402
Miguel A. Castro, Nuno Ferreira Neves, Paulo Guedes
Publication date: 29 September 2017
Published in: Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/197917.197973
Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12)
Related Items
Distributed speculative execution for reliability and fault tolerance: an operational semantics, On the composability of consistency conditions
