APICe » Publications » PicalculusIc100

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker
Information and Computation 100(1), pages 1-40, 1992 
@article{picalculus-ic100,
	Author = {Milner, Robin and Parrow, Joachim and Walker, David},
	Journal = {Information and Computation},
	Number = 1,
	Pages = {1--40},
	Title = {A calculus of mobile processes, I},
	Volume = 100,
	Year = 1992}