A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets.

conf/vldb/82 J. Xu A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets. 77-90 1982 VLDB db/conf/vldb/vldb82.html#Xu82 db/conf/vldb/Xu82.html VLDB82/P077.PDF ... ... journals/acta/CasanovaB80 ... journals/cacm/EswarranGLT76 books/fm/GareyJ79 ... ... journals/jacm/Papadimitriou79b ...