Return to Article Details A Complete Axiomatization of Simulation for Regular CCS Expressions Download Download PDF