The following pages link to Reactive Turing machines (Q393091):
Displayed 9 items.
- A thesis for interaction (Q2055962) (← links)
- On the Executability of Interactive Computation (Q3188271) (← links)
- (Q3385650) (← links)
- (Q5014795) (← links)
- (Q5020941) (← links)
- (Q5119395) (← 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)