A semantic-serializability based fully-distributed concurrency control mechanism for mobile multi-database systems | IEEE Conference Publication | IEEE Xplore