A calculus of mobile processes, II

@article{mobilecalculus-ii-ic100,
   abstract = {Abstract},
   apice = {MobilecalculusIIIc100},
   author = {Milner, Robin and Parrow, Joachim and Walker, David},
   doi = {10.1016/0890-5401(92)90009-5},
   issn = {0890-5401},
   journal = {Information and Computation},
   number = 1,
   pages = {41--77},
   title = {A Calculus of Mobile Processes, II},
   url = {http://www.sciencedirect.com/science/article/pii/0890540192900095},
   volume = 100,
   year = 1992
}