pron / amazon-snapshot-spec

TLA+ and Alloy specs of database isolation

http://hpts.ws/papers/2011/agenda.html

Geek Repo

Github PK Tool