@inproceedings{YangDRR05,
  author    = {Ping Yang and Yifei Dong and C.R. Ramakrishnan and Scott A. Smolka},
  title     = {A Provably Correct Compiler for Efficient Model Checking of Mobile Processes},
  booktitle = {7th International Symposium on Practical Aspects of Declarative Languages},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science},
  volume    = {3350},
  pages     = {113--227},
  year      = {2005}
}