'Cause I'm strong enough: reasoning about consistency choices in distributed systems.

Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro

Browse the full POPL paper archive.