TY  - SER
AU  - Sha, Lui
AU  - Lehoczky, John P.
AU  - Jensen, E D
TI  - Modular Concurrency Control and Failure Recovery
KW  - Concurrency
KW  - Consistency
KW  - Correctness
ER  -