TY  - RPRT
TI  - Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency
AU  - Michael J. Sullivan
AU  - Karl Crary
AU  - Salil Joshi
PY  - 2019
UR  - https://arxiv.org/abs/1904.05389
ID  - 1904.05389
ER  -