Analysis of concurrency-coherency control protocols for distributed transaction processing systems with regional locality | IEEE Journals & Magazine | IEEE Xplore