Communication and concurrency - Milner, R. (Robin) 1934- (Prentice-Hall international series in computer science, 1989)