A Calculus of Mobile Processes, II

Robin Milner, Joachim Parrow, David Walker. A Calculus of Mobile Processes, II. Inf. Comput., 100(1):41-77, September 1992.

Abstract

Abstract is missing.