The following pages link to Reactive Turing machines (Q393091):
Displaying 5 items.
- A thesis for interaction (Q2055962) (← links)
- On the Executability of Interactive Computation (Q3188271) (← links)
- (Q3385650) (← links)
- Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
