Communicating and mobile systems : the [symbol for pi]-calculus by Milner, R. (Robin), 1934-2010. ... The [pi]-calculus differs from other models of communicating behaviour mainly in its treatment of ...