3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Shale Xiong, Andrea Cerone, Azalea Raad +1
We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on ab…