Self-Healing Protocol Implementations.

Christian F. Tschudin Lidia Yamamoto

Published in: Service Management and Self-Organization in IP-based Networks (2005)

Keyphrases

lightweight
software systems
efficient implementation
low cost
formal analysis
communication protocol
autonomic computing
coloured petri nets
real time
autonomic systems
network protocols
computing systems
tcp ip
communication protocols
database systems
voting protocols
data sets