The following pages link to (Q4222876):
Displayed 5 items.
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- Recursive Petri nets (Q2464034) (← links)
- An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems (Q4917080) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)