Peter Wegner  Home/Search
Context Related
| brown.edu/people/pw/paper...finaltcs.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: brown.edu/people/pw/home (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The claim that interactive systems have richer behavior than algorithms is surprisingly easy to prove: Turing machines cannot model interaction machines because: interaction is not expressible by a finite initial input string. Interaction machines extend the Chomsky hierarchy, are modeled by interaction grammars, and precisely capture fuzzy concepts like open systems and empirical computer science. Part I of this paper examines extensions to interactive models for algorithms, machines,... (Update)
Cited by: More
Unknown - Eugene Eberbach Comp (Correct)
Fundamenta Informaticae 68 (2005) 47--102 47 IOS Press - Calculus Of Bounded (Correct)
New Models of Computation - Peter Wegner Dept (Correct)
Active bibliography (related documents): More All
0.8: Interactive Software Technology - Wegner (1996) (Correct)
0.3: Interaction as a Framework for Modeling - Peter Wegner And (Correct)
0.3: Coinductive Models of Finite Computing Agents - Wegner, Goldin (1999) (Correct)
Similar documents based on text: More All
0.7: A Note on Interaction and Incompleteness - Bojadziev (Correct)
0.3: Flexible Optimization And Evolution Of Underwater.. - Eberbach, Brooks, Phoha (1999) (Correct)
0.2: Hypercomputation and the Physical Church-Turing Thesis - Cotogno (2003) (Correct)
Related documents from co-citation: More All
23: Why Interaction Is More Powerful Than Algorithms - Peter - 1997
11: Elements of interaction (context) - Milner - 1993
11: Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
BibTeX entry: (Update)
P.Wegner. Interactive foundations of computing. Technical Report, Brown University, Providence (RI), August 1996. http://citeseer.ist.psu.edu/wegner97interactive.html More
@article{ wegner98interactive,
author = "Peter Wegner",
title = "Interactive foundations of computing",
journal = "Theoretical Computer Science",
volume = "192",
number = "2",
pages = "315--351",
year = "1998",
url = "citeseer.ist.psu.edu/wegner97interactive.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1968
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
782 Artificial Intelligence: A Modern Approach (context) - Russell, Norvig - 1994
718 Distributed Algorithms (context) - Lynch - 1996
366 The Sciences of the Artificial (context) - Simon - 1982
242 Planning and Control (context) - Dean, Wellman - 1991
115 Simon and Schuster (context) - Minsky, of - 1986
94 Why Interaction is More Powerful than Algorithms - Wegner - 1997
81 Handbook of Theoretical Computer Science (context) - Thomas, Infinite - 1990
40 Elements of Interaction (context) - Milner - 1993
31 Systems of Logic Based on Ordinals (context) - Turing - 1939
29 Coordination Models and Languages as Software Integrators (context) - Ciancarini - 1996
24 Processes: A Mathematical Model of Computing Agents (context) - Milner - 1975
22 Coordination Programming: Mechanisms (context) - Andreoli, Hankin et al. - 1996
20 Research Directions in Software Architecture (context) - Garlan - 1995
17 Enhanced Operational Semantics - Degano, Priami - 1996
16 Theoretical Computer Science (context) - Papadimitriou, Yannakakis et al. - 1991
16 A Quantum Jump in Computer Science (context) - Brassard - 1995
15 Tradeoffs Between Reasoning and Modeling (context) - Wegner - 1993
12 Interactive Foundations of Object-Based Programming (context) - Wegner - 1995
10 Interaction as a Basis for Empirical Computer Science (context) - Wegner - 1995
8 Universal Axioms for Bisimulations (context) - Degano, DeNicola et al. - 1993
6 Go To Considered Harmful (context) - Dijkstra - 1968
4 Frameworks for Active Compound Documents (context) - Wegner - 1997
3 Handbook of Computer Science and Engineering (context) - Wegner, Technology - 1996
3 Games Against Nature (context) - Papadimitriou - 1985
2 MIT Distinguished Lecture (context) - Blum, Checking - 1994
1 Introduction to Comnputational Molecular Biology (context) - Setubal, Meidanis - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.brown.edu/people/pw/home.html): More
Mathematical Models of Interactive Computing - Wegner, Goldin (1999) (Correct)
Interactive Software Technology - Wegner (1996) (Correct)
Towards Empirical Computer Science - Wegner (1998) (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