@article{Milner:1992:CMP:162037.162038,
    Address = {Duluth, MN, USA},
    Author = {Milner, Robin and Parrow, Joachim and Walker, David},
    File = {A Calculus of Mobile Processes, I - Milner, Parrow, Walker (1) (0) - a - a - i.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Month = {September},
    Number = {1},
    Pages = {1--40},
    Publisher = {Academic Press, Inc.},
    Title = {A Calculus of Mobile Processes, I},
    URL = {http://dx.doi.org/10.1016/0890-5401(92)90008-4},
    Volume = {100},
    Year = {1992},
    acmid = {162038},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0890-5401(92)90008-4},
    date-added = {2013-12-11 10:31:27 +0000},
    date-modified = {2013-12-11 10:31:27 +0000},
    file-2 = {A Calculus of Mobile Processes, I - Milner, Parrow, Walker (0) (0) - a - a - i.pdf},
    issue_date = {Sept. 1992},
    numpages = {40},
    doi = {10.1016/0890-5401(92)90008-4}
}

@article{Milner:1992:CMP:162037.162038, Address = {Duluth, MN, USA}, Author = {Milner, Robin and Parrow, Joachim and Walker, David}, File = {A Calculus of Mobile Processes, I - Milner, Parrow, Walker (1) (0) - a - a - i.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Month = {September}, Number = {1}, Pages = {1--40}, Publisher = {Academic Press, Inc.}, Title = {A Calculus of Mobile Processes, I}, URL = {http://dx.doi.org/10.1016/0890-5401(92)90008-4}, Volume = {100}, Year = {1992}, acmid = {162038}, bdsk-url-1 = {http://dx.doi.org/10.1016/0890-5401(92)90008-4}, date-added = {2013-12-11 10:31:27 +0000}, date-modified = {2013-12-11 10:31:27 +0000}, file-2 = {A Calculus of Mobile Processes, I - Milner, Parrow, Walker (0) (0) - a - a - i.pdf}, issue_date = {Sept. 1992}, numpages = {40}, doi = {10.1016/0890-5401(92)90008-4} }