Strict Linearizability and Abstract Atomicity.

Tangliu Wen Jie Peng Jinyun Xue Zhen You Lan Song

Published in: Int. J. Found. Comput. Sci. (2021)

Keyphrases

electronic commerce
higher level
multidatabase systems
nested transactions
neural network
data sets
genetic algorithm
search algorithm
correctness criterion