Verifiable hierarchical protocols with network invariants on parametric systems.

Opeoluwa Matthews Jesse D. Bingham Daniel J. Sorin

Published in: FMCAD (2016)

Keyphrases

application level
expert systems
communication protocols
computer networks
delay tolerant
social networks
network protocols
distributed network
communication protocol
quality of service
complex systems
distributed systems
management system
information systems
affine invariant
peer to peer
network services