Tilbage til artikeldetaljer A Complete Axiomatization of Simulation for Regular CCS Expressions Download Download PDF