Content deleted Content added
m Corrected weird use of past participle. |
|||
Line 14:
*[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.
|