A Calculus of Mobile Processes, Parts I and II Export

@techreport{citeulike:939415, abstract = {This is the second of two papers in which we present the -calculus, a calculus of mobile processes. We provide a detailed presentation of some of the theory of the calculus developed to date, and in particular we establish most of the results stated in the companion paper. 4  Introduction This is the second of two papers in which we present the -calculus, a calculus of mobile processes. The companion paper [2] contains an introduction to the calculus through a sequence of examples, together...}, author = {Milner, Robin and Parrow, Joachim and Walker, David}, citeulike-article-id = {939415}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8193}, keywords = {algebra, pi-claculus, process}, number = {-86}, posted-at = {2007-04-05 09:03:35}, priority = {2}, title = {A Calculus of Mobile Processes, Parts I and {II}}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8193}, year = {1989} }

TY - RPRT ID - citeulike:939415 L3 - citeulike-article-id:939415 N2 - This is the second of two papers in which we present the -calculus, a calculus of mobile processes. We provide a detailed presentation of some of the theory of the calculus developed to date, and in particular we establish most of the results stated in the companion paper. 4  Introduction This is the second of two papers in which we present the -calculus, a calculus of mobile processes. The companion paper [2] contains an introduction to the calculus through a sequence of examples, together... IS - -86 TI - A Calculus of Mobile Processes, Parts I and {II} KW - algebra KW - pi-claculus KW - process AU - Milner, Robin AU - Parrow, Joachim AU - Walker, David PY - 1989/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8193 ER -