title: formal aspects of concurrency control in long-duration transaction systems using the nt/pv model. authors: henry f. korth , gregory d. speegle. venue: acm trans . database syst .. year: 1994.0
title: formal aspects of concurrency control in long-duration transaction systems using the nt/pv model 1994. authors: henry f. korth , greg speegle. venue: acm transactions on database systems ( tods ). year: nan