The Evolution of Concurrent Programs

Created by W.Langdon from gp-bibliography.bib Revision:1.4420

  author =       "Brian J. Ross",
  title =        "The Evolution of Concurrent Programs",
  journal =      "Applied Intelligence",
  year =         "1998",
  volume =       "8",
  number =       "5",
  pages =        "21--32",
  month =        jan,
  keywords =     "genetic algorithms, genetic programming, process
                 algebra, Milner CCS, concurency",
  ISSN =         "0924-669X",
  URL =          "",
  abstract =     "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.",
  notes =        "Special Issues on Evolutionary Learning, Xin Yao and
                 Don Potter, Guest Editors. not recursive, agents,

Genetic Programming entries for Brian J Ross