Login / Signup

Formal Specification of the OpenMP Memory Model.

Greg BronevetskyBronis R. de Supinski
Published in: IWOMP (2006)
Keyphrases
  • formal specification
  • probabilistic model
  • specification language