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

