Sreeja S. Nair, Gustavo Petri, Marc Shapiro 0001. Invariant Safety for Distributed Applications. In Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019. ACM, 2019. [doi]
Abstract is missing.