A Calculus of Communicating Systems (1982)

by R Milner