TY  - RPRT
TI  - Non-Interference and Local Correctness in Transactional Memory
AU  - Petr Kuznetsov
AU  - Sathya Peri
PY  - 2013
UR  - https://arxiv.org/abs/1211.6315
ID  - 1211.6315
ER  -