View of Checking for Open Bisimilarity in the pi-Calculus

Return to Article Details Checking for Open Bisimilarity in the pi-Calculus Download Download PDF