@misc{indiciaecfdd15f013ea,
  title = {A resource analysis of the pi-calculus},
  author = {Aaron Turon and Mitchell Wand},
  year = {2011},
  url = {https://arxiv.org/abs/1105.0966},
  note = {Source identifier: 1105.0966}
}