Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Genetic programming: an introduction: on the automatic evolution of computer programs and its applications
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Information Processing Letters
Logic-based genetic programming with definite clause translation grammars
New Generation Computing
Communication and Concurrency
The Evolution of Concurrent Programs
Applied Intelligence
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Learning Chaotic Attractors by Neural Networks
Neural Computation
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
A graphical representation for biological processes in the stochastic pi-calculus
Transactions on Computational Systems Biology VII
Evolving stochastic processes using feature tests and genetic programming
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
The evolution of higher-level biochemical reaction models
Genetic Programming and Evolvable Machines
Hi-index | 0.00 |
The automatic synthesis of stochastic concurrent processes is investigated. We use genetic programming to automatically evolve a set of stochasdtic π-calculus expressions that generate execution behaviour conforming to some supplied target behaviour. We model the stochastic π-calculus in a grammatically-guided genetic programming system, and we use an efficient interpreter based on the SPIM abstract machine model by Phillips and Cardelli. The behaviours of target systems are modelled as streams of numerical time series for different variables of interest. We were able to successfully evolve stochastic π-calculus systems that exhibited the target behaviors. Successful experiments considered target processes with continuous monotonic behaviours.