A Calculus of Communicating Systems, (1980)

by R Milner
Venue:Lecture Notes in Computer Science.