cause i’m strong enough: Reasoning about consistency choices in distributed systems. (2016)

by A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro
Venue:In POPL 2016,