Interactive Foundations of Computing

Keywords

Computer science, Turing machine, Theoretical computer science, Super-recursive algorithm, Abstract machine

References

• Interactive Software TechnologyPeter Wegner — 1997
• Research directions in concurrent object-oriented programmingG. Agha, P. Wegner, A. Yonezawa — 1993
• Coordination programming: mechanisms, models and semanticsJ-M Andreoli, Chris Hankin, D Le Métayer — 1996
• The Temporal Logic of Reactive and Concurrent SystemsZohar Manna, Amir Pnueli — 1991
• Introduction to computational molecular biologyJoão Carlos Setúbal, João Meidânis — 1997
• Distributed AlgorithmsAdrian Segall, Shmuel Zaks — 1992
• Enhanced operational semanticsPierpaolo Degano, Corrado Priami — 1996
• Research directions in software architectureDavid Garlan — 1995
• Interaction as a basis for empirical computer sciencePeter Wegner — 1995
• Gaps in Programming EducationsC. Jones — 1995
• Universal Axioms for BisimulationsPierpaolo Degano, Rocco De Nicola, Ugo Montanari — 1993
• Coordination models and languages as software integratorsPaolo Ciancarini — 1996
• Games against natureChristos H. Papadimitriou — 1983
• Elements of interaction: Turing award lectureRobin Milner — 1993
• Why interaction is more powerful than algorithmsPeter Wegner — 1997
• On Formally Undecidable Propositions of Principia Mathematica and Related SystemsKurt Gödel, Bernard D. Meltzer, Richard Schlegel — 1962
• Automata on Infinite ObjectsWolfgang Thomas — 1991
• The Art of Computer ProgrammingG.E. Whitesides — 1968
• Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semanticsJan Van Leeuwen — 1990
• The Society of MindMarvin Minsky, The Personalist Forum — 1987

Cited by

• Formal Models of AgentsJohn‐Jules Ch. Meyer, Pierre‐Yves Schobbens — 1999
• A preliminary formalism for variable coupling in agile systemsGuy Redding — 2006
• Emergence of observational hierarchies in natural evolutionMichael Hauhs, Holger Lange — 1998
• Etude de la programmation logico-fonctionnelle concurrenteWendelin Bernhard Serwe — 2002
• Beyond Turing MachinesEugene Eberbach, Peter Wegner — 2003
• Designing Multi-Agent Systems around a Programmable Communication AbstractionEnrico Denti, Andrea Omicini — 2000
• Abstract platforms of computationMatthew C. Spencer, Etienne B. Roesch, Slawomir J. Nasuto — 2013
• C# Templates for Time-Aware AgentsM. Meriste, T. Kelder, J. Helekivi — 2005
• High-level Structured Interactive Programs with Registers and VoicesAlexandru Popa, Alexandru Sofronia, Gheorghe Ştefănescu — 2007
• Epistemology Naturalized: The Info-Computationalist ApproachGordana Dodig-Crnković — 2007
• Network Enabled Capabilities - Grassroots PerspectivesL. Môtus, Merik Meriste, Preden, Jurgo-Soren — 2006
• The Development of Models of Computation with Advances in Technology and Natural SciencesGordana Dodig-Crnković — 2013
• Architecture à base de situations pour le traitement des quiproquos dans l'exécution adaptative d'applications interactives. (Situation-based architecture for misunderstanding management in the adaptive execution of interactive applications)P. Pham — 2013
• The Physical Basis of Consciousness: Implications for Noetic Medicine and Transpersonal PsychologyRichard L. Amoroso — 2013
• Application of double-cusp catastrophe theory to the physical evolution of qualia: Implications for paradigm shift in medicine and psychologyRichard L. Amoroso — 2004
• Empirical Mediation of the Primary Mechanism Initiating Protein Conformation in Prion PropagationRichard L. Amoroso, Min-Ying Jacob Chu — 2013
• Can we debug the Universe?Apostolos Syropoulos — 2009
• Behavior and Expressiveness of Persistent Turing MachinesDina Goldin, Peter Wegner — 1999
• A Framework for Systemic Coordination in Open Computational SystemsMartin Fredriksson, Alessandro Ricci, Andrea Omicini — 2002
• Expresividad de la programación en lógica rebatibleLaura Cecchi, Pablo Rubén Fillottrani, Guillermo Ricardo Simari — 2008

Related papers

• Small universal Turing machinesTurlough Neary — 2008
• On the time complexity of 2-tag systems and small universal Turing machinesDamien Woods, Turlough Neary — 2006
• A small fast universal Turing machineTurlough Neary, Damien Woods — 2005
• Recursive Technology Based on Turing MachinesWen Song — 2008
• What are X-Machines?Mike Holcombe — 2000
• The CNN Universal Machine is as universal as a Turing MachineK.R. Crounse, Leon O. Chua — 1996