Searching for "Bisimilarity Is Not Finitely Based over BPA with Interrupt." – sorted by Relevance.
-
Bisimilarity is not Finitely Based over BPA with Interrupt
- BRICS RS-04-24 Aceto et al.: Bisimilarity is not Finitely Based over BPA with Interrupt BRICS
- Cited by 8 (5 self) – Add To MetaCart

