@misc{indiciae42c464c58fd5,
  title = {Trace-Based Run-time Analysis of Message-Passing Go Programs},
  author = {Martin Sulzmann and Kai Stadtmüller},
  year = {2018},
  url = {https://arxiv.org/abs/1709.01588},
  note = {Source identifier: 1709.01588}
}