Tilbage til artikeldetaljer
Bisimulations for Asynchronous Mobile Processes
Download
Download PDF