Interaction, Direct and Indirect
David Keil · 2005
• Many interactive models – Reactive [MP] and embedded systems – Dataflow, I/O automata [Lynch], synchronous languages, finite/pushdown automata over infinite words – Interaction games [Abramsky], online algorithms [Albers] – TM extensions: on-line Turing machines [Fischer], interactive Turing machines [Goldreich]