Nain, Sumit
-
BRICS Report Series No. 24 (2004): RS-24 Bisimilarity is not Finitely Based over BPA with Interrupt - Articles
Bisimilarity is not Finitely Based over BPA with Interrupt
Abstract PDF -
BRICS Report Series No. 33 (2005): RS-33 Bisimilarity is not Finitely Based over BPA with Interrupt - Articles
Bisimilarity is not Finitely Based over BPA with Interrupt
Abstract PDF