Frendrup, Ulrik, and Jesper Nyholm Jensen. “Checking for Open Bisimilarity in the Pi-Calculus”. BRICS Report Series 8, no. 8 (February 8, 2001). Accessed April 24, 2024. https://tidsskrift.dk/brics/article/view/20463.