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