Visning af: Bisimilarity is not Finitely Based over BPA with Interrupt

Tilbage til artikeldetaljer Bisimilarity is not Finitely Based over BPA with Interrupt Download Download PDF