Separating Policy from Correctness in Concurrency Control Design

John T. Robinson. Separating Policy from Correctness in Concurrency Control Design. Software: Practice and Experience, 14(9):827-844, 1984.

Abstract

Abstract is missing.