Content deleted Content added
→References and external web sources: changed bold to italics in book citation |
→References and external web sources: minor aesthetic changes |
||
Line 12:
==References and external web sources==
*''Interactive Computation: The New Paradigm'' ISBN 3-540-34666-X. Edited by D. Goldin, S. Smolka and P. Wegner. Springer, 2006.
*[http://www.cse.uconn.edu/~dqg/ D.Q. Goldin], Persistent Turing Machines as a model of interactive computation. ''Lecture Notes in Computer Science'' 1762, pp. 116-135.▼
*[http://www.eecs.umich.edu/gasm Abstract State Machines]▼
▲*[http://www.cse.uconn.edu/~dqg/ D.Q.Goldin], Persistent Turing Machines as a model of interactive computation. ''Lecture Notes in Computer Science'' 1762, pp. 116-135.
* D. Goldin, S. Smolka, P. Attie, E. Sonderegger, Turing Machines, Transition Systems, and Interaction. ''J. Information and Computation'' 194:2 (2004), pp. 101-128
*[http://www.cs.brown.edu/people/pw/home.html P. Wegner], Interactive foundations of computing. ''Theoretical Computer Science'' 192 (1998), pp. 315-351.
▲*[http://www.eecs.umich.edu/gasm Abstract State Machines]
[[Category:Theory of computation]]
|