Pages that link to "Item:Q4461214"
From MaRDI portal
The following pages link to Complexity of weak bisimilarity and regularity for BPA and BPP (Q4461214):
Displaying 5 items.
- Weak bisimilarity and regularity of context-free processes is EXPTIME-hard (Q1763731) (← links)
- BPA bisimilarity is EXPTIME-hard (Q1943623) (← links)
- Weak bisimilarity and regularity of context-free processes is EXPTIME-hard (Q2847410) (← links)
- Complexity of Weak Bisimilarity and Regularity for BPA and BPP (Q4917028) (← links)
- Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048) (← links)