@misc{indiciae7f082613d5a2,
  title = {From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation},
  author = {Allan Blanchard and Frédéric Loulergue and Nikolai Kosmatov},
  year = {2017},
  doi = {10.4204/eptcs.253.9},
  url = {https://arxiv.org/abs/1708.07226},
  note = {Source identifier: 1708.07226}
}