A calculus of mobile processes (1992)

by Robin Milner, Joachim Parrow, David Walker
Venue:Inf. Comput