Calculus of communicating systems - Milner Robin (Berlin Springer Verlag, 1980)
Keywords: Computer science