@misc{indiciaeb2a1dd70fcb0,
  title = {Encoding CSP into CCS (Extended Version)},
  author = {Meike Hatzel and Christoph Wagner and Kirstin Peters and Uwe Nestmann},
  year = {2015},
  url = {https://arxiv.org/abs/1508.01127},
  note = {Source identifier: 1508.01127}
}