TY  - RPRT
TI  - Checking Race Freedom of Clocked X10 Programs
AU  - Tomofumi Yuki
AU  - Paul Feautrier
AU  - Sanjay Rajopadhye
AU  - Vijay Saraswat
PY  - 2013
UR  - https://arxiv.org/abs/1311.4305
ID  - 1311.4305
ER  -