A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof. - Niklas Ekström; Seif Haridi (NETYS, 2016)