“Cause i”m strong enough: reasoning about consistency choices in distributed systems
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
Mahsa Najafzadeh
Carla Ferreira
Alexey Gotsman
Marc Shapiro
Towards affordable externally consistent guarantees for geo-replicated systems