The Pi-Calculus: Notes on Labelled Semantic

@article{Quaglia1999ThePN,
  title={The Pi-Calculus: Notes on Labelled Semantic},
  author={Paola Quaglia},
  journal={Bulletin of the EATCS},
  year={1999},
  volume={68},
  pages={104-114}
}