Specification-oriented semantics for communicating processes
Acta Informatica
Termination conventions and comparative semantics
Acta Informatica
Theoretical Computer Science
A compiling genetic programming system that directly manipulates the machine code
Advances in genetic programming
ACM Computing Surveys (CSUR)
Communication and Concurrency
Algebraic Theory of Processes
Learning Programs in Different Paradigms using Genetic Programming
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Using genetic programming to synthesize monotonic stochastic processes
CI '07 Proceedings of the Third IASTED International Conference on Computational Intelligence
Exploring and evolving process-oriented control for real and virtual fire fighting robots
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Hi-index | 0.00 |
Process algebra are formal languages used for therigorous specification and analysis of concurrent systems.By using a process algebra as the target language of a genetic programmingsystem, the derivation of concurrent programs satisfying given problemspecifications is possible.A genetic programming system based on Koza‘s model has been implemented.The target language used is Milner‘s CCS processalgebra, and is chosen for its conciseness and simplicity. The genetic programming environment needs a few adaptationsto 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 successfullyevolved a number of non–iterative CCS systems, hence provingthe potential of evolutionary approaches to concurrent system development.