Mathematical modeling and simulation of an algorithm for optimistic concurrency control in centralized database systems. - Lieh-san Lin; James Calhoun (Annual Simulation Symposium, 1988)