A calculus of communicating systems - Milner, R. 1934- (Lecture notes in computer science, 1980)