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