Title: Verification and validation of a reliable multicast protocol
Subjects: Systems analysis, Computer networks, Protocol (Computers), Packet switching, Program verification (Computers), Communication networks