Journeys in non-classical computation II: Initial journeys and waypoints

International Journal of Parallel, Emergent and Distributed Systems

Volumn 21, Issue 2, 2006, Pages 97-125

  Stepney, Susan ^a   Braunstein, Samuel L ^a   Clark, John A ^a   Tyrrell, Andy ^a   Adamatzky, Andrew ^b   Smith, Robert E ^b   Addis, Tom ^c   Johnson, Colin ^d   Timmis, Jonathan ^d   Welch, Peter ^d   Milner, Robin ^e   Partridge, Derek ^f  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF THE WEST OF ENGLAND   (United Kingdom)

^c UNIVERSITY OF PORTSMOUTH   (United Kingdom)

^d UNIVERSITY OF KENT   (United Kingdom)

^e UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^f UNIVERSITY OF EXETER   (United Kingdom)

Author keywords

Dynamics; Non Classical computation; Philosophical Investigations; Tractatus

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; PHILOSOPHICAL ASPECTS;

NON-CLASSICAL COMPUTATION; PHILOSOPHY; TRACTATUS;

COMPUTER SCIENCE;

EID: 30344439826     PISSN: 17445760     EISSN: 17445779     Source Type: Journal    
DOI: 10.1080/17445760500355454     Document Type: Article

References (95)

1. Editorial article, 2002, Nature Immunology. 3(10), 883.
2. Adamatzky, Andrew, 2001, Computing in Non-linear Media and Automata Collectives, (Bristol: IOP)
3. Adamatzky, Andrew (Ed.), 2002, Collision-Based Computing (Berlin: Springer).
4. Adleman. Leonard M., 1994, Molecular computation of solutions to combinatorial problems. Science, 266, 1021-1024.
5. Back, Thomas, Fogel, David B. and Michalewicz, Zbigniew (Eds.), 2000, Evolutionary Computation I: Basic Algorithms and Operators (Bristol: IOP Publishing Ltd).
6. Bak, Per, 1997, How Nature. Works: The Science of Self-Organized Criticality (Oxford: OUP).
7. Banzhaf, Wolfgang, Nordin, Peter, Keller, Robert E. and Francone, Frank D., 1998, Genetic Programming, An Introduction: On the Automatic Evolution of Computer Programs and its Applications (San Mateo: Morgan Kaufmann).
8. Barabasi, Albert-Laszlo, 2002, Linked: The New Science of Networks (Cambridge: Perseus).
9. Berry. G. and Boudol, G., 1992, The chemical abstract machine. Theoretical Computer Science. 96, 217-248.
10. Bersini, Hugues and Varela, FranciscoJ., 1991, Hints for adaptive problem solving gleaned from immune networks. In: H.P. Schwefel and H. Mühlenbein (Eds.) Parallel Problem Solving from Nature (Berlin: Springer).
11. Bishop, Christopher M., 1995, Neural Networks for Pattern Recognition (Oxford: OUP).
12. Bonabeau, EricW., Dorigo, Marco and Theraulaz, Guy, 1999, Swarm Intelligence: From Natural to Artificial Systems (Oxford: OUP).
13. Bradley, Daryl W. and Tyrrell, Andy M., 2000, Hardware Fault Tolerance: An Immunological Approach. Proceedings of IEEE Conference on System, Man, and Cybernetics.
14. Brookes, S.D., Hoare, C.A.R. and Roscoe, A.W., 1984, A theory of communicating sequential processes. Journal of the ACM. 31, 560-699.
15. Calude, Cristian S. and Paun, Gheorghe, 2001, Computing with Cells and Atoms (New York: Taylor & Francis).
16. Cardelli, L. and Gordon, A., 2000, Mobile ambients. Theoretical Computer Science. 240, 177-213.
17. Chari, Suresh, Jutla, Charanjit S., Rao, Josyula R. and Rohatgi, Pankaj, 2003, Power analysis: Attacks and Countermeasures. In: Annabelle McIver and Carroll Morgan (Eds.) Programming Methodology (Berlin: Springer).
18. Chopard, Bastine and Droz, Michel, 1998, Cellular Automata Modeling of Physical Systems (Cambridge: CUP).
19. Clark, John A., Stepney, Susan and Chivers, Howard, 2004, Technical Report YCS-2004-371, University of York Breaking The Model: Finalisation and a Taxonomy of Security Attacks.
20. Clarke, E.M., Emerson, E.A. and Sistla, A.P., 1986, Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM ToPLaS. 8(2), 244-263.
21. Cleaveland, R., Parrow, J. and Steffen, B., 1993, The concurrency workbench: a semantics based tool for the verification of concurrent systems. ACM ToPLaS. 15, 36-72.
22. Corne, David W., Dorigo, Marco and Glover, Fred (Eds.), 1999, New Ideas in Optimization (New York: McGraw Hill).
23. Crutchfield, J.P., 1994, The Calculi of Emergence: Computation, Dynamics, and Induction. Physica D. 75, 11-54.
24. Dasgupta, Dipankar (Ed.), 1999, Artificial Immune Systems and their Applications (Berlin: Springer).
25. de Castro, Leandro N. and Timmis, Jonathan, 2002, Artificial Immune Systems: A New Computational Intelligence Approach (Berlin: Springer).
26. de Castro, LeandroN. and von Zuben, FernandoJ., 2000, An evolutionary immune network for data clustering. IEEE. SBRN '00, Brazil, pp. 84-89.
27. Delorme, Marianne and Mazoyer, Jacques (Eds.), 1999, Cellular Automata: A Parallel Model (Dordrecht: Kluwer).
28. Drexler, K. Eric., 1986, Engines of Creation: The Coming Era of Nanotechnology (Garden City: Doubleday).
29. Drexler, K. Eric, 1992, Nanosystems: Molecular Machinery, Manufacturing and Computation (New York: Wiley).
30. Farmer, J. Doyne, Packard, Norman H. and Perelson, Alan S., 1986, The Immune System, Adaptation, and Machine Learning. Physica D. 22, 187-204.
31. Feynman, RichardP., 1982, Simulating Physics with Computers. International Journal of Theoretical Physics. 21(6/7).
32. Floyd, R.W., 1967, Assigning meanings to programs. Mathematical Aspects of Computer Science, Proc. Symp. in Applied Mathematics. 19, AMS, pp. 19-32.
33. Forrest, Stephanie (Ed.), 1991, Emergent Computation: Self-Organizing, Collective, and Cooperative Phenomena in Natural and Computing Networks (Cambridge: MIT Press).
34. Forrest, Stephanie, Perelson, Alan S., Allen, Lawrence and Cherukuri, Rajesh, 1994, Self-Nonself Discrimination in a Computer. Symposium on Research in Security and Privacy. IEEE, pp. 202-212.
35. Gell-Mann, Murray, 1994, The Quark and the Jaguar (Tunbridge Wells: Abacus).
36. Goldberg, David E., 1989, Genetic Algorithms in Search, Optimization, and Machine Learning (Glen View: Addison-Wesley).
37. Gordon, M.J.C., 1987, HOL: A proof generating system for higher-order logic. VLSI Specification, Verification and Synthesis (Dordrecht: Kluwer).
38. Hajela, Prabhat and Yoo, JunSun, Network Modelling in Design Optimization, In Ref. [22].
39. Hart, Emma and Ross, Peter, The Evolution and Analysis of a Potential Antibody Library for Use in Job Shop Scheduling, In Ref. [22]
40. Hoare. C.A.R., 1971, An axiomatic basis for computer programming. CACM. 14(1), 39-45.
41. Hoare, C.A.R., 1985, Communicating Sequential Processes (Englewood Cliffs: Prentice Hall).
42. Holland, John H., 1995, Hidden Order: How Adaptation Builds Complexity (Glen View: Addison-Wesley).
43. Holland, John H., 1998, Emergence: From Chaos to Order (Oxford: OUP).
44. Ishida. Yoshitero, 1996, Distributed and Autonomous Sensing Based on Immune Network, Proc Artificial Life and Robotics, Beppu (Menlo Park: AAAI Press).
45. Jensen, HenrikJeldtoft, 1998, Self-Organized Criticality: emergent complex behaviour in physical and biological systems (Cambridge: CUP).
46. Jeme, Niels K., 1974, Towards a Network Theory of the Immune System. Annals of Immunology 125C. 373-389.
47. Jozsa, Richard, 1991, Characterising Classes of Functions Computable by Quantum Parallelism. Proceedings of the Royal Society of London Series B. A 435.
48. Kauffman, Stuart A., 1993, The Origins of Order: Self-Organization and Selection in Evolution (Oxford: OUP).
49. Kelso, J.A. Scott, 1995, Dynamic Patterns: The Self-Organization of Brain and Behavior (Cambridge: MIT Press).
50. Kennedy, John F., 1961, Announcement to the US Congress. 25 May.
51. Kephart, Jeffrey O., 1994, A Biologically Inspired Immune System for Computers. In: RodneyA. Brooks and Pattie Maes (Eds.) Artificial Life IV (Cambridge: MIT Press).
52. Kohonen, Teuvo, 1988, Self-Organization and Associative Memory (Berlin: Springer).
53. Koza, John R., 1992, Genetic Programming: on the programming of computers by means of natural selection (Cambridge: MIT Press).
54. Koza, John R., 1994, Genetic Programming II: Automatic Discovery of Reusable Programs (Cambridge: MIT Press).
55. Koza, John R., Bennett, III Forrest H., Andre, David and Keane, Martin A., 1999, Genetic Programming III: Darwinian invention and problem solving (San Mateo: Morgan Kaufmann).
56. Kozen, D., 1983, Results on the propositional mu-calculus. Theoretical Computer Science, 27, 333-354.
57. Lakoff, George, 1986, Women, Fire, and Dangerous Things (Chicago: University of Chicago Press).
58. Lakoff, George and Johnson, Mark, 1980, Metaphors We Live By (Chicago: University of Chicago Press).
59. Lamport, Leslie, 1994, The temporal logic of actions. ACM ToPLaS. 16(3), 872-923.
60. Landweber, L.F. and Winfree, E. (Eds.), 2002, Evolution as Computation (Berlin: Springer).
61. Langton, ChristopherG., Computation at the Edge of Chaos: phase transitions and emergent computation, In Ref. [33].
62. Langton, Christopher G. (Ed.), 1995, Artificial Life: An Overview (Cambridge: MIT Press).
63. Mandelbrot, Benoit B., 1977, The Fractal Geometry of Nature (San Francisco: Freeman).
64. Milner, Robin, LNCS 92 1980, A calculus of communicating systems (Berlin; Springer).
65. Milner, Robin, 1999, Communicating and Mobile Systems: the π-Calculus (Cambridge: CUP).
66. Milner, Robin, Parrow, J. and Walker, D., 1992, A calculus of mobile processes. Information and Computation. 100(1), 1-77.
67. Minsky, Marvin L. and Papert, Seymour A., 1988, Perceptrons (Cambridge: MIT Press).
68. Mitchell, Melanie, 1996, An Introduction to Genetic Algorithms (Cambridge: MIT Press).
69. Neal, Mark and Timmis, Jonathan, 2003. Timidity: A Useful Emotional Mechanism for Robot Control? Informatica: Special Issue on Perception and Emotion based Reasoning.
70. von Neumann, John, 1966, In: A.W. Burks (Ed.) Theory of Self-Reproducing Automata (Urbana: University of Illinois Press).
71. Nielsen, Michael A. and Chuang, Isaac L., 2000, Quantum Computation and Quantum Information (Cambridge: CUP).
72. Oprea, Mihaela and Forrest, Stephanie, 1998, Simulated evolution of antibody gene libraries under pathogen selection. IEEE Systems, Man and Cybernetics.
73. Partridge, Derek, 1995, On the difficulty of really considering a radical novelty. Minds and Machines. 5(3), 391-410.
74. Partridge. Derek, 2000, Non-programmed computation. CACM. 43, 293-301.
75. Partridge, Derek, Bailey, T.C., Everson, R.M., Hemandes, A., Krzanowski, W.J., Fieldsend, J.E. and Schetinin, V., 2004, http://www.cs.york.ac.uk/nature/gc7/partridge.pdf. A Bayesian computer.
76. Paun. Gheorghe, 2002, Membrane Computing: An Introduction (Berlin: Springer).
77. Peitgen, Heinz-Otto and Richter, Peter H., 1986, The Beauty of Fractals: Images of Complex Dynamical Systems (Berlin: Springer).
78. Petri, C.A., 1962. Kommunikation mit automaten. PhD Thesis, Technical Report 2, Institut fur Instrumentelle Mathemematik, Bonn.
79. Pnueli, A., 1977, The temporal logic of programs. Proceedings of FOCS. IEEE, pp. 46-77.
80. Pratt.V.R., 1976, Semantical considerations on Floyd-Hoare logic. Proc. 17th Symp. Foundations of Computer Science. IEEE, pp. 109-121.
81. Prusinkiewicz, Przemyslaw and Lindenmayer, Aristid, 1990, The Algorithmic Beauty of Plants (Berlin: Springer).
82. Reynolds, J.C., 1974, Towards a theory of type structure. LNCS Proc. Paris Symposium on Programming (Berlin: Springer), 16, pp. 408-425.
83. Rumelhart, David E. and McClelland, James L., 1986, Parallel Distributed Processing (Cambridge: MIT Press).
84. Scott, D.S. and Strachey, C., 1971, Towards a mathematical semantics for computer languages. Proceedings of the Symposia on Computers and Automata, Microwave Research institute Symposia. 21, 19-46.
85. Sienko, Tanya, Adamatzky, Andrew, Rambidi, NicholasG. and Conrad, Michael (Eds.), 2003, Molecular Computing (Cambridge: MIT Press).
86. Smith, Derek J., Forrest, Stephanie, Ackley, David H. and Perelson, Alan S., Modeling the effects of prior infection on vaccine efficacy, In Ref [24].
87. Stepney, Susan, 2003, Critical Critical Systems. Formal Aspects of Security FASeC'02. LNCS 2629 (Berlin: Springer).
88. Toffoli, Tommaso and Margolus, Norman H., 1985, Cellular Automata Machines (Cambridge: MIT Press).
89. Watts, DuncanJ., 1999, Small Worlds: The Dynamics of Networks Between Order and Randomness (Princeton: Princeton University Press).
90. Wegner, Peter, 1997, Why interaction is more powerful than algorithms. CACM. 40(5).
91. Welch, P.H., et al., 2004, Concurrency Research Group, www.cs.kent.ac.uk/research/groups/crg/.
92. Wittgenstein, L., 1921, Tractatus Logico-Philosophicus.
93. Wittgenstein, L., 1953, Philosophical Investigations (Oxford: Blackwells).
94. Wolfram, Stephen, 1994, Cellular Automata and Complexity: Collected Papers (Reading: Addison-Wesley).
95. Wuensche, Andrew and Lesser, Mike, 1992, The Global Dynamics of Cellular Automata (Reading: Addison-Wesley).