Pages that link to "Item:Q1306565"
From MaRDI portal
The following pages link to Comparing expressibility of normed BPA and normed BPP processes (Q1306565):
Displayed 5 items.
- Complexity of deciding bisimilarity between normed BPA and normed BPP (Q1959482) (← links)
- Selected Ideas Used for Decidability and Undecidability of Bisimilarity (Q3532999) (← links)
- Normed BPA vs. Normed BPP Revisited (Q3541036) (← links)
- Deciding bisimulation-like equivalences with finite-state processes (Q5941202) (← links)
- Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time (Q5958326) (← links)
