Statecharts: A visual formalism for complex systems
Science of Computer Programming
On the consistency of Koomen's fair abstraction rule
Theoretical Computer Science
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Notes on algebraic calculi of processes
Logics and models of concurrent systems
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Elements of interaction: Turing award lecture
Communications of the ACM
A calculus of mobile processes, I
Information and Computation
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Sequentiality in an extensional framework
Papers presented at the IEEE symposium on Logic in computer science
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Forward and backward simulations I.: untimed systems
Information and Computation
Why interaction is more powerful than algorithms
Communications of the ACM
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Foundations of Cryptography: Basic Tools
Foundations of Cryptography: Basic Tools
Distributed Algorithms
Communication and Concurrency
A Discipline of Programming
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Proceedings of the 17th International Colloquium on Automata, Languages and Programming
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Computations, Residuals, and the POwer of Indeterminancy
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Stability and Sequentiality in Dataflow Networks
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
An Improved Failures Model for Communicating Processes
Seminar on Concurrency, Carnegie-Mellon University
Efficient Algorithms for Model Checking Pushdown Systems
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Persistence as a Form of Interaction
Persistence as a Form of Interaction
Expressiveness results for process algebras.
Expressiveness results for process algebras.
Modeling Indirect Interaction in Open Computational Systems
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Toward Domain-Independent Formalization of Indirect Interaction
WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
IS=DBS+interaction: towards principles of information system design
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Evaluation of the capability of interaction
ACM SIGGROUP Bulletin - Special issue on community-based learning: explorations into theoretical groundings, empirical findings and computer support
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
On the computing power of fuzzy Turing machines
Fuzzy Sets and Systems
A Formal Framework for Interactive Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
This paper presents persistent Turing machines (PTMs), a new way of interpreting Turing-machine computation, based on dynamic stream semantics. A PTM is a Turing machine that performs an infinite sequence of "normal" Turing machine computations, where each such computation starts when the PTM reads an input from its input tape and ends when the PTM produces an output on its output tape. The PTM has an additional worktape, which retains its content from one computation to the next; this is what we mean by persistence. A number of results are presented for this model, including a proof that the class of PTMs is isomorphic to a general class of effective transition systems called interactive transition systems; and a proof that PTMs without persistence (amnesic PTMs) are less expressive than PTMs. As an analogue of the Church-Turing hypothesis which relates Turing machines to algorithmic computation, it is hypothesized that PTMs capture the intuitive notion of sequential interactive computation.