Functions as processes. Research Report 1154, INRIA, Sofia Antipolis (1990)

by R Milner
Venue:in Journal of Mathem. Structures in Computer Science 2(2):119--141