TY  - RPRT
TI  - Towards linking correctness conditions for concurrent objects and contextual trace refinement
AU  - Brijesh Dongol
AU  - Lindsay Groves
PY  - 2016
DO  - 10.4204/eptcs.209.8
UR  - https://arxiv.org/abs/1606.02023
ID  - 1606.02023
ER  -