On Automatic Verification of Self-Stabilizing Population Protocols.

Jun Pang Zhengqin Luo Yuxin Deng

Published in: TASE (2008)

Keyphrases

databases
artificial intelligence
population size
communication protocols
database
real time
machine learning
information retrieval
learning algorithm
information systems
e learning
web services
security protocols
application level
communication protocol
cultural algorithms