View of Bisimilarity is not Finitely Based over BPA with Interrupt

Return to Article Details Bisimilarity is not Finitely Based over BPA with Interrupt Download Download PDF