Complete formal specification of the OpenMP memory model

DOI10.1007/s10766-007-0051-4zbMath1124.68336OpenAlexW2150717721WikidataQ126211238 ScholiaQ126211238MaRDI QIDQ2457959

Bronis R. De Supinski, Greg Bronevetsky

Publication date: 24 October 2007

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10766-007-0051-4

zbMATH Keywords

theorem provingparallel programmingOpenMPformal systems

Mathematics Subject Classification ID

Related Items (1)

Complete formal specification of the OpenMP memory model

Cites Work

• Unnamed Item
• Checking cache-coherence protocols with TLA\(^+\)
• Complete formal specification of the OpenMP memory model
• The Java memory model

This page was built for publication: Complete formal specification of the OpenMP memory model