@Inproceedings{EPTCS209.8, author = {Dongol, Brijesh and Groves, Lindsay}, year = {2016}, title = {Towards linking correctness conditions for concurrent objects and contextual trace refinement}, editor = {Derrick, John and Boiten, Eerke and Reeves, Steve}, booktitle = {{\rm Proceedings 17th International Workshop on} Refinement, {\rm Oslo, Norway, 22nd June 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {209}, publisher = {Open Publishing Association}, pages = {107-111}, doi = {10.4204/EPTCS.209.8}, }