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: a formal model for maximum concurrency in transaction systems with predeclared writesets j xu vldb , 1982.0. authors: nan. venue: nan. year: nan