Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models.

Tatsuya Abe Toshiyuki Maeda

Published in: APLAS (2016)

Keyphrases

probabilistic model
experimental data
complex systems
neural network
social networks
artificial neural networks
logic programs
model selection
logic programming
statistical model
statistical models
memory requirements
mathematical models
classical logic