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

Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro. 'Cause i'm strong enough: reasoning about consistency choices in distributed systems. In Rastislav Bodik, Rupak Majumdar, editors, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. pages 371-384, ACM, 2016. [doi]

Authors

Alexey Gotsman

This author has not been identified. Look up 'Alexey Gotsman' in Google

Hongseok Yang

This author has not been identified. Look up 'Hongseok Yang' in Google

Carla Ferreira

This author has not been identified. Look up 'Carla Ferreira' in Google

Mahsa Najafzadeh

This author has not been identified. Look up 'Mahsa Najafzadeh' in Google

Marc Shapiro

This author has not been identified. Look up 'Marc Shapiro' in Google