In this work, we study about formal design and verification of
protocols using CSP(Communicating Sequential Processes) formalism.
The protocols concern multicast communications; we develop formal
models of multicast communication protocols with CSP and then verify
the models using FDR which is the model checking tool of CSP.