Login / Signup
Formal Specification of the OpenMP Memory Model.
Greg Bronevetsky
Bronis R. de Supinski
Published in:
IWOMP (2006)
Keyphrases
</>
formal specification
probabilistic model
specification language