Synchronization Synthesis for Network Programs.

Jedidiah McClurg Hossein Hojjat Pavol Cerný

Published in: CAV (2) (2017)

Keyphrases

network model
complex networks
functional programs
wireless sensor networks
peer to peer
computer networks
computer programs
network size
real time
multi agent
logic programming
network structure
communication networks
network design
small world
network topologies