A lattice based framework of shared memory consistency models | IEEE Conference Publication | IEEE Xplore