Information and Computation 100(1), pages 1-40, 1992
@article{picalculus-ic100,
Author = {Milner, Robin and Parrow, Joachim and Walker, David},
Journal = {Information and Computation},
Number = 1,
Pages = {1--40},
Title = {A calculus of mobile processes, I},
Volume = 100,
Year = 1992}