Niklas Ekström, Seif Haridi. A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof. In Parosh Aziz Abdulla, Carole Delporte-Gallet, editors, Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers. Volume 9944 of Lecture Notes in Computer Science, pages 183-192, Springer, 2016. [doi]
Abstract is missing.