@misc{indiciae2b1cf5ad325f,
  title = {Undecidability of Asynchronous Session Subtyping},
  author = {Mario Bravetti and Marco Carbone and Gianluigi Zavattaro},
  year = {2017},
  url = {https://arxiv.org/abs/1611.05026},
  note = {Source identifier: 1611.05026}
}