Login / Signup

Evolving Bio-PEPA process algebra models using genetic programming.

David MarcoCarron ShanklandDavid E. Cairns
Published in: GECCO (2012)
Keyphrases
  • process algebra
  • relational databases
  • model checking
  • concurrent systems
  • database
  • case study
  • expert systems
  • general purpose
  • formal specification
  • formal semantics