Publisher
Springer International Publishing
Reference20 articles.
1. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: a tutorial. Computer 29, 66–76 (1996)
2. Adve, S.V., Hill, M.D.: Weak ordering – a new definition. In: ISCA, pp. 2–14. ACM, New York (1990)
3. Alglave, J.: A shared memory poetics. Ph.D. thesis, Université Paris 7 (2010)
4. Atig, M.F., Bouajjani, A., Burckhardt, S., Musuvathi, M.: On the verification problem for weak memory models. In: POPL ’10, pp. 7–18 (2010)
5. LNCS;MF Atig,2012