A Calculus of Communicating Systems (1980)

by R Milner
Venue:Lecture Notes in Computer Science,Number 92. Springer-Verlag,Berlin