×

zbMATH — the first resource for mathematics

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).

MSC:
68Q55 Semantics in the theory of computing
68N15 Theory of programming languages
PDF BibTeX XML Cite
Full Text: DOI