Pages that link to "Item:Q3400912"
From MaRDI portal
The following pages link to A Process-Theoretic Look at Automata (Q3400912):
Displaying 7 items.
- Reactive Turing machines (Q393091) (← links)
- Reactive Turing Machines (Q3088297) (← links)
- On the Executability of Interactive Computation (Q3188271) (← links)
- (Q5014795) (← 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)
