Davide Sangiorgi David Walker On Barbed Equivalences in pi-Calculus. 292-304 2001 conf/concur/2001 CONCUR http://dx.doi.org/10.1007/3-540-44685-0_20 db/conf/concur/concur2001.html#SangiorgiW01