Pages that link to "Item:Q1314379"
From MaRDI portal
The following pages link to Deciding bisimilarity of normed context-free processes is in \(\Sigma_ 2^ p\) (Q1314379):
Displaying 5 items.
- Deciding bisimulation and trace equivalences for systems with many identical processes (Q672063) (← links)
- A short proof of the decidability of bisimulation for normed BPA- processes (Q1198053) (← links)
- A note on the complexity of deciding bisimilarity of normed unary processes (Q1331934) (← links)
- A polynomial algorithm for deciding bisimilarity of normed context-free processes (Q1351456) (← links)
- Decidability of Weak Bisimilarity for a Subset of BPA (Q5415622) (← links)
