A calculus of mobile processes, I
@article{mobilecalculusI-ic100,
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}
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}