TY  - RPRT
TI  - Proving Correctness of Concurrent Objects by Validating Linearization Points
AU  - Sathya Peri
AU  - Muktikanta Sa
AU  - Ajay Singh
AU  - Nandini Singhal
AU  - Archit Somani
PY  - 2018
UR  - https://arxiv.org/abs/1705.02884
ID  - 1705.02884
ER  -