Consistency models with global operation sequencing and their composition (extended version)

Alexey Gotsman, Sebastian Burckhardt

Modern distributed systems often achieve availability and scalability by providing consistency guarantees about the data they manage weaker than linearizability. We consider a clas…