Reasoning About Promises in Weak Memory Models with Event Structures.

Heike Wehrheim Lara Bargmann Brijesh Dongol

Published in: FM (2023)

Keyphrases

probabilistic model
database
data sets
statistical models
multi agent
model selection
machine learning algorithms
accurate models
structural models