@misc{W2013672985,
  author = {Robin Milner and Joachim Parrow and David Walker},
  title = {A calculus of mobile processes, II},
  year = {1992},
  howpublished = {Information and Computation},
  doi = {https://doi.org/10.1016/0890-5401(92)90009-5}
}