Semantics-based concurrency control: Beyond commutativity | IEEE Conference Publication | IEEE Xplore