Boudol, Gérard; Petri, Gustavo Relaxed memory models: an operational approach. (English) Zbl 1315.68173 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 392-403 (2009). Cited in 7 Documents MSC: 68Q55 Semantics in the theory of computing 68N15 Theory of programming languages Keywords:memory models; operational semantics PDF BibTeX XML Cite \textit{G. Boudol} and \textit{G. Petri}, in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '09, Savannah, GA, USA, January 18--24, 2009. New York, NY: Association for Computing Machinery (ACM). 392--403 (2009; Zbl 1315.68173) Full Text: DOI