Invariant Safety for Distributed Applications

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

Abstract is missing.