Tilbage til artikeldetaljer
Checking for Open Bisimilarity in the pi-Calculus
Download
Download PDF