Frendrup U, Jensen JN. Checking for Open Bisimilarity in the pi-Calculus. BRICS [Internet]. 8. februar 2001 [henvist 16. august 2024];8(8). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20463