The Evolution of Concurrent Programs

Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic programming system, the derivation of concurrent programs satisfying given problem specifications is possible. A genetic programming system based on Koza's model has been implemented. The target language used is Milner's CCS process algebra, and is chosen for its conciseness and simplicity. The genetic programming environment needs a few adaptations to the computational characteristics of concurrent programs. In particular, means for efficiently controlling the exponentially large computation spaces that are common with process algebra must be addressed. Experimental runs of the system successfully evolved a number of non–iterative CCS systems, hence proving the potential of evolutionary approaches to concurrent system development.

[1]  Peter Nordin,et al.  A compiling genetic programming system that directly manipulates the machine-code , 1994 .

[2]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[3]  Grzegorz Rozenberg,et al.  Theory of Traces , 1988, Theor. Comput. Sci..

[4]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[5]  Brian J. Ross,et al.  The Inductive Inference of Cyclic Synchronized Interleaving , 1994, ECAI.

[6]  Andrew J. Malton,et al.  Termination conventions and comparative semantics , 1988 .

[7]  Brian J. Ross,et al.  A Lamarckian Evolution Strategy for Genetic Algorithms , 1998, Practical Handbook of Genetic Algorithms.

[8]  Sidney R. Maxwell,et al.  Experiments with a coroutine execution model for genetic programming , 1994, Proceedings of the First IEEE Conference on Evolutionary Computation. IEEE World Congress on Computational Intelligence.

[9]  PAC Learning of Interleaved MelodiesBrian , 1995 .

[10]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[11]  Wilker Shane Bruce.  The Application of Genetic Programming to The Automatic Generation of Object-Oriented Programs , 1995 .

[12]  C. A. R. Hoare,et al.  Specification-oriented semantics for Communicating Processes , 1983, Acta Informatica.

[13]  Vidroha Debroy,et al.  Genetic Programming , 1998, Lecture Notes in Computer Science.

[14]  Kwong-Sak Leung,et al.  Learning Programs in Different Paradigms using Genetic Programming , 1995, AI*IA.