9 citations · 25 across the 14 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017
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…
cs.PL2017
Proving Linearizability Using Partial Orders (Extended Version)
Artem Khyzha, Mike Dodds, Alexey Gotsman +1
Linearizability is the commonly accepted notion of correctness for concurrent data structures. It requires that any execution of the data structure is justified by a linearization…