Formal Aspects of Serializability in Database Concurrency Control

Philip A. Bernstein, David W. Shipman, Wing S. Wong. Formal Aspects of Serializability in Database Concurrency Control. IEEE Trans. Software Eng., 5(3):203-216, 1979.

Abstract

Abstract is missing.