Greg Bronevetsky, Bronis R. de Supinski. Formal Specification of the OpenMP Memory Model. In Matthias S. Müller, Barbara M. Chapman, Bronis R. de Supinski, Allen D. Malony, Michael Voss, editors, OpenMP Shared Memory Parallel Programming - International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings. Volume 4315 of Lecture Notes in Computer Science, pages 324-346, Springer, 2006. [doi]
Abstract is missing.