Distributed optimistic concurrency control methods for high-performance transaction processing | IEEE Journals & Magazine | IEEE Xplore