Frendrup, U. and Jensen, J. N. (2001) “Checking for Open Bisimilarity in the pi-Calculus”, BRICS Report Series, 8(8). doi: 10.7146/brics.v8i8.20463.