A Theory of Interactive Computation
From MaRDI portal
Publication:4928702
DOI10.1007/3-540-34874-3_6zbMath1266.68115OpenAlexW2096985795MaRDI QIDQ4928702
Jan van Leeuwen, Juraj Wiedermann
Publication date: 18 June 2013
Published in: Interactive Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-34874-3_6
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
On the Executability of Interactive Computation ⋮ The Computational Power of Interactive Recurrent Neural Networks ⋮ How We Think of Computing Today ⋮ Verifying of interface assertions for infinite state Mealy machines ⋮ A thesis for interaction ⋮ Computability and realizability for interactive computations
This page was built for publication: A Theory of Interactive Computation