A Theory of Bisimulation for the pi-Calculus.

Davide Sangiorgi A Theory of Bisimulation for the pi-Calculus. 69-97 1996 33 Acta Inf. 1 db/journals/acta/acta33.html#Sangiorgi96