Toward a decidable notion of sequential consistency.

Jesse D. Bingham Anne Condon Alan J. Hu

Published in: SPAA (2003)

Keyphrases

real time
first order logic
database
neural network
data mining
knowledge base
case study
data model
transitive closure