Correctness proof for a distributed memory system | Publicación