Revision as of 19:58, 10 June 2009 edit 128.148.33.123 (talk) fixed format of reference from previous edit ← Previous edit		Revision as of 21:28, 7 September 2009 edit undo DrilBot (talk \| contribs) 152,046 edits Check Wikipedia cleanup (header levels) + gen. fixes Next edit →
Line 8: [[Game semantics]] [[Interactive programming]] [[Quasi-~~empiricism_in_mathematics~~empiricism in mathematics\|Quasi-empiricism]] ==References and external web sources== '''Interactive Computation: The New Paradigm''' ISBN 354034666X. Edited by D.Goldin, S.Smolka and P.Wegner. Springer, 2006. [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. [[Category:Theoretical computer science]]

Interactive computation: Difference between revisions