@InProceedings{BHY,
  author =       {Martin Berger and Kohei Honda and Nobuko Yoshida},
  title =        {Sequentiality and the $\pi$-Calculus},
  booktitle =    {Proc.~TLCA'01},
  year =         2001
}