Proving Linearizability Using Reduction.

Tangliu Wen Lan Song Zhen You

Published in: Comput. J. (2019)

Keyphrases

reduction method
real time
artificial intelligence
database
knowledge base
image sequences
cooperative
data model
rough sets
data reduction
attribute reduction