@misc{indiciaee14d9346300f,
  title = {On the Validity of Encodings of the Synchronous in the Asynchronous \$π\$-calculus},
  author = {Rob van Glabbeek},
  year = {2018},
  url = {https://arxiv.org/abs/1802.09182},
  note = {Source identifier: 1802.09182}
}