Deterministic gossiping with a periodic protocol.

Shaoshuai Mou Changbin Yu Brian D. O. Anderson A. Stephen Morse

Published in: CDC (2010)

Keyphrases

lightweight
formal analysis
network protocols
coloured petri nets
file transfer
multi party
communication protocol
real time
database systems
cooperative
sensor networks
black box
cryptographic protocols
network devices