Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri. Replication-aware linearizability. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 980-993, ACM, 2019. [doi]
Abstract is missing.