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