View of Hereditary History Preserving Bisimilarity is Undecidable

Return to Article Details Hereditary History Preserving Bisimilarity is Undecidable Download Download PDF