• Formal Specification of the Op...

*Result*: Formal Specification of the OpenMP Memory Model

Title:
Formal Specification of the OpenMP Memory Model
OpenMP shared memory parallel programming: international workshops, IWOMP2005 and IWOMP2006
Authors:
Bronevetsky, G., de Supinski, B.R.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (4315):324-348
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN068956686&indx=1&recIds=ETOCCN068956686
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings