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

DOI10.1145/2837614.2837625zbMath1347.68029OpenAlexW2282477915MaRDI QIDQ2828282

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

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2837614.2837625

zbMATH Keywords

replicationcausal consistencyintegrity invariants

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Proving the Safety of Highly-Available Distributed Objects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Robustness Against Transactional Causal Consistency. ⋮ Checking robustness between weak transactional consistency models

This page was built for publication: 'Cause I'm strong enough: Reasoning about consistency choices in distributed systems