TY  - RPRT
TI  - Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
AU  - Ilya Sergey
AU  - Aleksandar Nanevski
AU  - Anindya Banerjee
PY  - 2014
UR  - https://arxiv.org/abs/1410.0306
ID  - 1410.0306
ER  -