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