A theory of bisimulation for the pi-calculus - Sangiorgi, Davide (1993)