Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version).

Heike Wehrheim Lara Bargmann Brijesh Dongol

Published in: CoRR (2022)

Keyphrases

machine learning
probabilistic model
process model
statistical model
event detection
news articles
accurate models
artificial intelligence
website
case study
image sequences
hidden markov models
information processing
computing power
structural models