Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools

APIN

1998

1998

Process algebra are formal languages used for the rigorous speciﬁcation 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 speciﬁcations 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 efﬁciently 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.

Related Content

Added |
21 Dec 2010 |

Updated |
21 Dec 2010 |

Type |
Journal |

Year |
1998 |

Where |
APIN |

Authors |
Brian J. Ross |

Comments (0)