TY  - RPRT
TI  - Quantifiability: Concurrent Correctness from First Principles
AU  - Victor Cook
AU  - Christina Peterson
AU  - Zachary Painter
AU  - Damian Dechev
PY  - 2019
UR  - https://arxiv.org/abs/1905.06421
ID  - 1905.06421
ER  -