Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model

Henry F. Korth, Gregory D. Speegle. Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model. ACM Trans. Database Syst., 19(3):492-535, 1994. [doi]

Abstract

Abstract is missing.