Sajeer, S.L.M.
(International journal of computer Engineering and Technology (IJCET)IAEME, 2011-04)
Protocol design requires Understanding state distributed across many nodes,
complex message exchanges, and with competing traÆc. Traditional analysis tools
(such as packet traces) too often hide protocol dynamics in a ...