Language A promising semantics for relaxed-memory concurrency May 7, 2017POPL2017 POPL20171 Comment on A promising semantics for relaxed-memory concurrency