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

J. Xu

Browse the full VLDB paper archive.