On automatic verification of self-stabilizing population protocols.

Jun Pang Zhengqin Luo Yuxin Deng

Published in: Frontiers Comput. Sci. China (2008)

Keyphrases

population size
neural network
information retrieval
machine learning
learning algorithm
e learning
database systems
data structure
genetic programming
evolutionary process
key distribution
communication protocols
cultural algorithms