Wyślij wiadomość: A Model for Coherent Distributed Memory For Race Condition Detection