@InProceedings{HondaK:conitpc,
  author = 	 {Kohei Honda and Nobuko Yoshida and Martin Berger},
  title = 	 {Control in the $\pi$-Calculus},
  booktitle =	 {Proc.~Fourth ACM-SIGPLAN Continuation Workshop (CW'04)},
  year =	 2004
}