Done by Chris Newcombe at Amazon for this talk at HPTS 2011 and not used at Amazon. Verified with distributed TLC.
TLA+ and Alloy specs of database isolation
Done by Chris Newcombe at Amazon for this talk at HPTS 2011 and not used at Amazon. Verified with distributed TLC.
TLA+ and Alloy specs of database isolation
http://hpts.ws/papers/2011/agenda.html