Commutativity-based concurrency control for abstract data types | IEEE Journals & Magazine | IEEE Xplore