TY  - RPRT
TI  - An Operational Semantic Basis for OpenMP Race Analysis
AU  - Simone Atzeni
AU  - Ganesh Gopalakrishnan
PY  - 2017
UR  - https://arxiv.org/abs/1709.04551
ID  - 1709.04551
ER  -