title: formal aspects of concurrency control in long-duration transaction systems using the nt/pv model. authors: h korth , g speegle. venue: acm trans . database syst .. year: 1994
title: intra-transaction concurrency control and the nt/pv model. authors: hf korth , gd speegle. venue: nan. year: 1990.0