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