APICe » Publications » Picalculus2Ic100

A calculus of mobile processes, II

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