Predicate Abstraction for Relaxed Memory Models.

Andrei Marian Dan Yuri Meshman Martin T. Vechev Eran Yahav

Published in: SAS (2013)

Keyphrases

real time
machine learning
multi agent
database
statistical models