×

zbMATH — the first resource for mathematics

A promising semantics for relaxed-memory concurrency. (English) Zbl 1380.68103
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 175-189 (2017).

MSC:
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15 Theory of programming languages
Software:
Coq
PDF BibTeX XML Cite
Full Text: DOI