Communication and concurency. - Milner, Robin (Prentice-Hall, Inc., 1989)