A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.

Alex Horn Ali Kheradmand Mukul R. Prasad

Published in: ICNP (2019)

Keyphrases

theoretical framework
theoretical foundation
network architecture
peer to peer
network traffic
conceptual framework
collaborative knowledge building
information systems
wireless sensor networks
computer simulation
network structure
complex networks
decision theory
innovation diffusion theory