Revision as of 19:57, 10 June 2009 edit 128.148.33.123 (talk) provided a reference to the most formal paper published in this area ← Previous edit		Revision as of 19:58, 10 June 2009 edit undo 128.148.33.123 (talk) fixed format of reference from previous edit Next edit →
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. ~~''Turing Machines, Transition Systems, and Interaction''', by~~ 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.

Interactive computation: Difference between revisions