A Model for Coherent Distributed Memory For Race Condition Detection - Butelle, Franck (arXiv.org)