A Practical Approach to Evolving Concurrent Programs.

Published in: EuroGP (2004)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
concurrent processes
knowledge base
database systems
wireless sensor networks
model checking
asynchronous circuits