Huimin Lin Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. 187-201 1995 conf/tapsoft/1995 TAPSOFT db/conf/tapsoft/tapsoft95.html#Lin95 http://dx.doi.org/10.1007/3-540-59293-8_195