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