@misc{indiciaef6ba7519b4c8,
  title = {Termination in a Pi-calculus with Subtyping},
  author = {Ioana Cristescu and Daniel Hirschkoff},
  year = {2011},
  doi = {10.4204/eptcs.64.4},
  url = {https://arxiv.org/abs/1107.5722},
  note = {Source identifier: 1107.5722}
}