Algebraic Semantics for C++11 Memory Model | IEEE Conference Publication | IEEE Xplore