Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol.
Marcel KyasPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- network protocols
- network simulator
- network traffic
- tcp ip
- communication protocol
- lightweight
- network structure
- file transfer
- protocol stack
- computer networks
- peer to peer
- end hosts
- residual energy
- network design
- communication networks
- complex networks
- wireless sensor networks
- cellular networks
- network resources
- heterogeneous networks
- wireless mesh networks
- mac protocol
- internet protocol
- network management
- traffic load
- network devices
- network security
- remote server
- social network analysis