B. Ross. Applied Intelligence, 8 (5):
21--32(January 1998)
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.
%0 Journal Article
%1 ross:1998:ecp
%A Ross, Brian J.
%D 1998
%J Applied Intelligence
%K CCS, Milner algebra, algorithms, concurency genetic process programming,
%N 5
%P 21--32
%T The Evolution of Concurrent Programs
%U http://www.cosc.brocku.ca/~bross/research/apin801.pdf
%V 8
%X 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.
@article{ross:1998:ecp,
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.},
added-at = {2008-06-19T17:46:40.000+0200},
author = {Ross, Brian J.},
biburl = {https://www.bibsonomy.org/bibtex/2bbf98413d3a815591eb31538e2654d4b/brazovayeye},
interhash = {a860126a1ce146c7b16c0633781f3cf0},
intrahash = {bbf98413d3a815591eb31538e2654d4b},
issn = {0924-669X},
journal = {Applied Intelligence},
keywords = {CCS, Milner algebra, algorithms, concurency genetic process programming,},
month = {January},
notes = {Special Issues on Evolutionary Learning, Xin Yao and
Don Potter, Guest Editors. not recursive, agents,
parity},
number = 5,
pages = {21--32},
timestamp = {2008-06-19T17:50:35.000+0200},
title = {The Evolution of Concurrent Programs},
url = {http://www.cosc.brocku.ca/~bross/research/apin801.pdf},
volume = 8,
year = 1998
}