View of A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Return to Article Details A Complete Equational Axiomatization for Prefix Iteration with Silent Steps Download Download PDF