The following pages link to (Q4028125):
Displayed 7 items.
- On the regular structure of prefix rewriting (Q685354) (← links)
- Decidability of bisimulation equivalence for normed pushdown processes (Q1276237) (← links)
- Complete SAT-Based Model Checking for Context-Free Processes (Q3510785) (← links)
- Pushdown automata, multiset automata, and Petri nets (Q5941098) (← links)
- The Boolean Determinant Calculus (Q6094981) (← links)
- Decidability of bisimulation equivalence for normed pushdown processes (Q6104375) (← links)
- Bisimulation collapse and the process taxonomy (Q6104377) (← links)