A graph model for investigating memory consistency | IEEE Conference Publication | IEEE Xplore