View of Undecidability Results for Bisimilarity on Prefix Rewrite Systems

Return to Article Details Undecidability Results for Bisimilarity on Prefix Rewrite Systems Download Download PDF