APICe » Publications » A Calculus of Mobile Processes, II

A Calculus of Mobile Processes, II

Robin Milner, Joachim Parrow, David Walker
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.
Information and Computation 100(1), pages 41-77, 1992
@article{mobilecalculusII-ic100,
	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,
	Abstract = {Abstract}}