A Calculus of Communicating Systems. (1982)

by R Milner