Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol.
Daniel J. SorinManoj PlakalAnne CondonMark D. HillMilo M. K. MartinDavid A. WoodPublished in: IEEE Trans. Parallel Distributed Syst. (2002)
Keyphrases
- data dissemination
- multicast routing protocol
- application layer
- application layer multicast
- hierarchical architecture
- information dissemination
- data retrieval
- energy efficient
- wireless sensor networks
- sensor networks
- mobile computing
- ip multicast
- routing algorithm
- tcp ip
- group communication
- lightweight
- multicast routing
- routing scheme
- peer to peer
- end to end
- model checking
- network layer
- network coding
- wireless access networks
- response time
- multicast tree
- overlay network