Pages that link to "Item:Q3541013"
From MaRDI portal
The following pages link to A Context-Free Process as a Pushdown Automaton (Q3541013):
Displaying 7 items.
- (Q5014795) (← links)
- A Basic Parallel Process as a Parallel Pushdown Automaton (Q5170665) (← links)
- (Q5856418) (← links)
- Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
- Characterizing contrasimilarity through games, modal logic, and complexity (Q6614880) (← links)
- A game characterization for contrasimilarity (Q6643746) (← links)
