A Calculus of Communicating Systems. Volume 81 (1981)

by Robin Milner
Venue:of Lecture Notes in Computer Science