TY  - RPRT
TI  - Contextual trace refinement for concurrent objects: Safety and progress
AU  - Brijesh Dongol
AU  - Lindsay Groves
PY  - 2016
UR  - https://arxiv.org/abs/1603.01412
ID  - 1603.01412
ER  -