TY  - RPRT
TI  - Operational Aspects of C/C++ Concurrency
AU  - Anton Podkopaev
AU  - Ilya Sergey
AU  - Aleksandar Nanevski
PY  - 2016
UR  - https://arxiv.org/abs/1606.01400
ID  - 1606.01400
ER  -