{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:29:28Z","timestamp":1759638568722},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671008"},{"type":"electronic","value":"9783540465645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46564-2_8","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:03:18Z","timestamp":1186826598000},"page":"116-135","source":"Crossref","is-referenced-by-count":20,"title":["Persistent Turing Machines as a Model of Interactive Computation"],"prefix":"10.1007","author":[{"given":"Dina Q","family":"Goldin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,9]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Samson Abramsky. Semantics of Interaction, in Semantics and Logic of Computation, ed A. Pitts and P. Dibyer, Cambridge, 1997.","DOI":"10.1017\/CBO9780511526619.002"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/62070.45066","volume":"19","author":"M. Atkinson","year":"1987","unstructured":"Malcolm Atkinson, Peter Buneman. Types and Persistence in Database Programming Languages, ACM Computing Surveys 19:2, 1987","journal-title":"ACM Computing Surveys"},{"key":"8_CR3","unstructured":"Jon Barwise, Lawrence Moss. Vicious Circles, CSLI Lecture Notes #60, Cambridge University Press, 1996."},{"key":"8_CR4","unstructured":"Manfred Broy. Compositional Refinement of Interactive Systems, Digital Systems Research Center, SRC 89, 1992"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Oded Goldreich. Modern Cryptography, Probabilistic Proofs and Pseudorandomness. Springer, 1999.","DOI":"10.1007\/978-3-662-12521-2"},{"key":"8_CR6","unstructured":"Dina Goldin, Peter Wegner. Behavior and Expressiveness of Persistent Turing Machines. Technical Report, CS Dept., Brown University, 1999."},{"key":"8_CR7","unstructured":"John Hopcroft, Jeffrey Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"8_CR8","unstructured":"Bart Jacobs, Jan Rutten. A Tutorial on Coalgebras and Coinduction. EATCS Bulletin 62, 1997."},{"key":"8_CR9","unstructured":"Sven Kosub. Persistent Computations, Theoretische Informatik Tech. Report, U. Wurzburg, 1998."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Robin Miler. Operational and Algebraic Semantics of Concurrent Processes, Handbook of Theoretical Computer Science, J. van Leeuwen, editor, Elsevier 1990.","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Zohar Manna, Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"8_CR12","unstructured":"Stuart Russell, Peter Norveig. Artificial Intelligence: A Modern Approach, Addison-Wesley, 1994."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Michael Sipser. Introduction to the Theory of Computation, PWS Publishing Company, 1996.","DOI":"10.1145\/230514.571645"},{"key":"8_CR14","unstructured":"B.A. Trakhtenbrot, Y.M. Bardzin, Finite Automata: Behavior and Synthesis, American Elsevier, 1973."},{"key":"8_CR15","first-page":"42","volume":"2","author":"A. Turing","year":"1936","unstructured":"Alan Turing. On Computable Problems with an Application to the Entscheidungsproblem, Proc. London Math. Society, 2:42, 1936.","journal-title":"Proc. London Math. Society"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Peter Wegner. Why Interaction is More Powerful than Algorithms. Communications of the ACM, May 1997.","DOI":"10.1145\/253769.253801"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Peter Wegner. Interactive Foundations of Computing. Theoretical Computer Science, Feb. 1998.","DOI":"10.1016\/S0304-3975(97)00154-0"},{"key":"8_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48854-5_19","volume-title":"Conceptual Modeling","author":"P. Wegner","year":"1999","unstructured":"Peter Wegner, Dina Goldin. Interaction as a Framework for Modeling. Conceptual Modeling, LNCS 1565, Editors P. Chen et al., Springer-Verlag, 1999."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Peter Wegner, Dina Goldin. Coinductive Models of Finite Computing Agents, Proc. Coalgebra Workshop (CMCS\u201999), ENTCS, Vol. 19, March 1999.","DOI":"10.1016\/S1571-0661(05)80270-1"},{"key":"8_CR20","unstructured":"Peter Wegner, Dina Goldin. Interaction, Computability, and Church\u2019s Thesis British Computer Journal, to be published."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Stanley Zdonik and Dave Maier. Readings in Object-Oriented Database Systems, Morgan Kaufmann, 1990.","DOI":"10.1145\/101620.101636"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46564-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T20:00:54Z","timestamp":1587844854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46564-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671008","9783540465645"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-46564-2_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}