Greg Bronevetsky, Bronis R. de Supinski. Complete Formal Specification of the OpenMP Memory Model. International Journal of Parallel Programming, 35(4):335-392, 2007. [doi]
@article{BronevetskyS07,
title = {Complete Formal Specification of the OpenMP Memory Model},
author = {Greg Bronevetsky and Bronis R. de Supinski},
year = {2007},
doi = {10.1007/s10766-007-0051-4},
url = {http://dx.doi.org/10.1007/s10766-007-0051-4},
tags = {completeness},
researchr = {https://researchr.org/publication/BronevetskyS07},
cites = {0},
citedby = {0},
journal = {International Journal of Parallel Programming},
volume = {35},
number = {4},
pages = {335-392},
}