View of Axiomatizing Prefix Iteration with Silent Steps

Return to Article Details Axiomatizing Prefix Iteration with Silent Steps Download Download PDF