A Calculus of Mobile Processes, Part I (1989)

by Robin Milner, Joachim Parrow, David Walker
Venue:I AND II. INFORMATION AND COMPUTATION