Dina Q. Goldin, Scott A. Smolka, et al.  Home/Search
Context Related
| uconn.edu/~dqg/papers/its2003.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uconn.edu/~dqg/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present Persistent Turing Machines (PTMs), a new way of interpreting Turing machine computation, one that is both interactive and persistent. A PTM is a nondeterministic 3-tape Turing machine that upon receiving an input token, computes for a while and then outputs the result, and this process is repeated forever. (Update)
Cited by: More
Interactive Algorithms 2005 - With Added Appendix (Correct)
Similar documents (at the sentence level):
10.8%: Turing Machines, Transition Systems, and Interaction - Goldin, Smolka, Wegner (2004) (Correct)
Active bibliography (related documents): More All
0.6: A Computational Model of Interaction in Embedded Systems - van Leeuwen, Wiedermann (2001) (Correct)
0.5: A Mixed Closure-CSP Method to Solve Scheduling Problems - Galipienso, Sanchís (2001) (Correct)
0.4: A Note on Interaction and Incompleteness - Bojadziev (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.6: Extending the Constraint Database Framework - Goldin, Kutlu, Song (2003) (Correct)
0.5: Flexible and Efficient Similarity Querying for Time-series.. - Goldin, Millstein, Kutlu (2003) (Correct)
0.4: An Efficient and Scalable Approach to Visualizing Sensor Networks - Goldin, Gao (2004) (Correct)
BibTeX entry: (Update)
D. Q. Goldin, S. A. Smolka, P. C. Attie, E. L. Sonderegger. "Turing Machines, Transition Systems, and Interaction", Information and Computation 194:2, 2004, pp. 101--128. http://citeseer.ist.psu.edu/goldin04turing.html More
@misc{ goldin-turing,
author = "Dina Q. Goldin and Scott A. Smolka and et al.",
title = "Turing Machines, Transition Systems, and Interaction",
journal = "Information and Computation"
year = 2004,
url = "citeseer.ist.psu.edu/goldin04turing.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Motwani et al. - 2001
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
854 Information and Computation (context) - Milner, Parrow et al. - 1992
718 Distributed Algorithms (context) - Lynch - 1996
457 The ESTEREL synchronous programming language: Design - Berry, Gonthier - 1992
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
283 Theoretical Computer Science (context) - Kahn, Plotkin - 1993
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
150 Computational Complexity (context) - Papadimitriou - 1994
121 Bisimulation can't be traced (context) - Bloom, Istrail et al. - 1988
116 volume 443 of Lecture Notes in Computer Science (context) - Paterson, Automata et al. - 1990
107 Coroutines and networks of parallel processes (context) - Kahn, MacQueen - 1977
95 On computable numbers with an application to the Entscheidun.. (context) - Turing - 1965
95 Forward and backward simulations { part i: Untimed systems - Lynch, Vaandrager - 1995
82 What is in a step: On the semantics of Statecharts (context) - Pnueli, Shalev - 1991
63 Dynamic algorithms in computational geometry - Chiang, Tamassia - 1992
45 Interactive foundations of computing - Wegner - 1998
45 Formal Methods in System Design (context) - Alur, Henzinger - 1999
43 the consistency of Koomen's fair abstraction rule (context) - Baeten, Bergstra et al. - 1987
36 CSLI Lecture Notes (context) - Barwise, Moss - 1996
28 Arti cial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
28 Notes on algebraic calculi of processes (context) - Boudol - 1985
22 Ecient algorithms for model checking pushdown systems (context) - Esparza, Hansel et al. - 2000
17 Higher-level synchronizing devices in meije-sccs (context) - de Simone - 1985
15 An improved failures model for communicating sequential proc.. (context) - Brookes, Roscoe - 1985
12 Elements of interaction: Turing award lecture (context) - Milner - 1993
11 Communication among relations (context) - Rabinovich, Trakhtenbrot
10 Prentice-Hall Inc (context) - Dijkstra, of - 1976
9 Sequentiality in an extensional framework - Bucciarelli, Ehrhard - 1994
9 interaction: Towards principles of information system design (context) - Goldin, Srinivasa et al. - 2000
7 The Turing machine paradigm in contemporary computing - van Leeuwen, Wiedermann - 2000
7 Turing's ideas and models of computation (context) - Eberbach, Goldin et al. - 2003
7 Concurrency and computability (context) - Darondeau - 1990
7 Why Church's thesis still holds: Some notes on Peter Wegner'.. - Prasse, Rittgen - 1998
4 Veri cation on in nite structures (context) - Burkart, Caucal et al. - 2001
4 Centrum voor Wiskunde en Informatica (context) - Vaandrager, for et al. - 1993
4 A computational model of interaction in embedded systems - van Leeuwen, Wiedermann - 2001
3 Concurrent interaction games (context) - Abramsky - 2000
3 transition systems (context) - Goldin, Smolka et al. - 2001
2 Stability and sequentiality in data ow networks (context) - Panangaden, Shanbhogue et al.
2 Online algorithms - Albers
2 Coinductive models of nite computing agents (context) - Wegner, Goldin - 1999
2 and the power of indeterminancy (context) - Panangaden, Stark et al. - 1988
1 Interaction: A New Computational Paradigm (context) - Goldin, Smolka et al. - 2004
1 Interactive computation: The new paradigm (context) - Broy
Documents on the same site (http://www.engr.uconn.edu/~dqg/papers/): More
Modeling Indirect Interaction in Open Computational Systems - Keil, Goldin (Correct)
Georouting and Delta-gathering: Efficient Data.. - Goldin, Song, Kutlu, .. (2003) (Correct)
Taking Constraints out of Constraint Databases - Goldin (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC