An Operational Approach to Happens-Before Memory Model | IEEE Conference Publication | IEEE Xplore