Protocol Independent Multicast - Dense Mode (PIM-DM): Protocol Specification (Revised).

Andrew Adams Jonathan Nicholas William Siadak

Published in: RFC (2005)

Keyphrases

protocol specification
communication protocols
formal specification
formal methods
end to end
transformation rules
routing algorithm
application layer
data dissemination
case study
model checking
network coding
process algebra
multicast routing protocol