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