Functions as processes (1992)

by R Milner
Venue:Mathematical Structures in Computer Science