A promising semantics for relaxed-memory concurrency

Kang, Jeehoon and Hur, Chung-Kil and Lahav, Ori and Vafeiadis, Viktor and Dreyer, Derek
(2017) A promising semantics for relaxed-memory concurrency.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item