TSO-to-TSO Linearizability Is Undecidable.

Chao Wang Yi Lv Peng Wu

Published in: ATVA (2015)

Keyphrases

np complete
datalog programs
databases
bayesian networks
data structure
domain specific
sufficient conditions