Reasoning about Fences and Relaxed Atomics.

Mengda He Viktor Vafeiadis Shengchao Qin João F. Ferreira

Published in: PDP (2016)

Keyphrases

spatial reasoning
formal theory
optimal solution
qualitative reasoning
causal reasoning
neural network
social networks
objective function
cooperative
data model
management system