U. Frendrup and J. N. Jensen, “Checking for Open Bisimilarity in the pi-Calculus”, BRICS, vol. 8, no. 8, Feb. 2001.