Communication and concurrency - Milner, Robin (New York Prentice-Hall, 1989)
Keywords: Interactive Computer Systems; Concurrent Programming