%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 }