Visning af: A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Tilbage til artikeldetaljer A Complete Equational Axiomatization for Prefix Iteration with Silent Steps Download Download PDF