A calculus of communicating systems. - Milner, Robin (Berlin : Springer Verlag, 1980)