A calculus of mobile processes, I

@article{mobilecalculus-i-ic100,
   apice = {PicalculusIc100},
   author = {Milner, Robin and Parrow, Joachim and Walker, David},
   doi = {10.1016/0890-5401(92)90008-4},
   issn = {0890-5401},
   journal = {Information and Computation},
   number = 1,
   pages = {1--40},
   title = {A Calculus of Mobile Processes, I},
   url = {http://www.sciencedirect.com/science/article/pii/0890540192900084},
   volume = 100,
   year = 1992
}