A Process Algebra Genetic Algorithm.
Sertac KaramanTal ShimaEmilio FrazzoliPublished in: IEEE Trans. Evol. Comput. (2012)
Keyphrases
- process algebra
- genetic algorithm
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- formal methods
- communication protocols
- concurrent programs
- web services composition
- grid workflow
- petri net
- distributed systems
- temporal logic
- database
- programming environment
- evolutionary algorithm
- fine grained
- web service composition
- access control
- communication protocol
- general purpose
- expert systems
- query language