Title: An approach to verification and validation of a reliable multicasting protocol
Subjects: Packet switching, Protocol (Computers), Telecommunication, Computer networks, Program verification (Computers), Packets (Communication), Data transmission, Communication networks