The following pages link to (Q4222868):
Displayed 7 items.
- An algebra of behavioural types (Q418153) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- Decidability of bisimulation equivalence for normed pushdown processes (Q1276237) (← links)
- Weak bisimilarity and regularity of context-free processes is EXPTIME-hard (Q1763731) (← links)
- Complexity of Weak Bisimilarity and Regularity for BPA and BPP (Q4917028) (← links)
- Decidability of Weak Bisimilarity for a Subset of BPA (Q5415622) (← links)
- Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time (Q5958326) (← links)