'Cause I'm Strong Enough: Reasoning about consistency choices in distributed systems (43rd ACM Symposium on Principles of Programming Languages (POPL 2016), 2016)

(untitled) - Yang, H; Gotsman, A; Ferreira, C; Najafzadeh, M; Shapiro, M