@inproceedings{YangBR06,
  author    = {Ping Yang and Samik Basu and C. R. Ramakrishnan},
  title     = {Parameterized Verification of Pi-Calculus Systems},
  booktitle = {12th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages = {42--57},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science},
  year      = {2006}
}