Done by Chris Newcombe at Amazon for this talk at HPTS 2011 and not used at Amazon. Verified with distributed TLC.
mattlloyd101 / amazon-snapshot-spec Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pron/amazon-snapshot-spec
TLA+ and Alloy specs of database isolation
Home Page: http://hpts.ws/papers/2011/agenda.html