An Assertional Characterization of Serializability
Ernest R. McCurley, Fred B. Schneider · 1989
Serializability is usually defined operationally in terms of sequences of operations. This paper gives another definition of serializability-in terms of sequences of states. It also shows how this definition can be used to prove correctness of solutions to the concurrency control problem.