Formal aspects of optimistic concurrency control in a multiple version database system

Georg Lausen. Formal aspects of optimistic concurrency control in a multiple version database system. Inf. Syst., 8(4):291-301, 1983.

Abstract

Abstract is missing.