A Model for Coherent Distributed Memory for Race Condition Detection | IEEE Conference Publication | IEEE Xplore