Support for Implementation of Evolutionary Concurrent Systems.

Raju Pandey James C. Browne

Published in: Int. J. Parallel Program. (2001)

Keyphrases

concurrent systems
temporal logic
model checking
process algebra
databases
genetic algorithm
petri net
efficient implementation
database
search engine
knowledge management
distributed systems
formal specification
efficient execution
transition systems