@TechReport{sanjabi-04-algorithmic-TR,
  author = "Sam B. Sanjabi and Clark Verbrugge",
  title = "An Algorithmic Approach for Precise Analysis of the $\pi$-Calculus",
  institution = "Sable Research Group, McGill University",
  number = "SABLE-TR-2004-7",
  year = "2004",
  month = oct
}