A Proof Technique for Concurrency Control and Recovery Algorithms for Replicated Databases.

Philip A. Bernstein Nathan Goodman A Proof Technique for Concurrency Control and Recovery Algorithms for Replicated Databases. 32-44 1987 2 Distributed Computing 1 db/journals/dc/dc2.html#BernsteinG87