Interactive computation: Difference between revisions

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]]