F. A P P E N D I X
115
K
Programming with the Memory Models
Please refer to Appendix J of Commonality.