Frendrup, U.; Jensen, J. N. Checking for Open Bisimilarity in the Pi-Calculus. BRICS 2001, 8.