Alvaro E. Campos Dionel A. Suazo Data-race and concurrent-write freedom are undecidable. 1-13 2003 29 Computer Languages, Systems & Structures 1-2 http://dx.doi.org/10.1016/S1477-8424(03)00014-9 db/journals/cl/cl29.html#CamposS03