TY - RPRT TI - A Model for Coherent Distributed Memory For Race Condition Detection AU - Franck Butelle AU - Camille Coti PY - 2011 UR - https://arxiv.org/abs/1101.4193 ID - 1101.4193 ER -