@misc{indiciae6b7176c5e174,
  title = {Contextual trace refinement for concurrent objects: Safety and progress},
  author = {Brijesh Dongol and Lindsay Groves},
  year = {2016},
  url = {https://arxiv.org/abs/1603.01412},
  note = {Source identifier: 1603.01412}
}