1 paper
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…