A promising semantics for relaxed-memory concurrency
- Jeehoon Kang
- , Chung Kil Hur*
- , Ori Lahav
- , Viktor Vafeiadis
- , Derek Dreyer
*Corresponding author for this work
- Seoul National University
- Max Planck Institute for Software Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
127
Scopus
citations