See also Pi-Calculus Communicating sequential processes Calculus of Broadcasting Systems References Robin Milner: A Calculus of Communicating Systems, Springer Verlag, ISBN 0387102353 External links Citations from CiteSeer