Correctness of the routing algorithm for distributed key-value store based on order preserving linear hashing and skip graph | IEEE Conference Publication | IEEE Xplore