A Modular Proof of Correctness for a Network Synchronizer (Research Summary).

Alan D. Fekete Nancy A. Lynch Liuba Shrira

Published in: WDAG (1987)

Keyphrases

peer to peer
distributed network
network structure
search engine
wireless sensor networks
complex networks
network design
network traffic
communication networks
network topologies