Formal Validation of a Multicast Transport Protocol.

Rachid Ben Abbou Amine Benkiran Jean-Pierre Courtiat

Published in: ISCC (2001)

Keyphrases

congestion control
transport protocol
end to end
rate adaptation
wireless networks
real time
video streaming
quality of service
application layer
rate control
overlay network
window size
network bandwidth
wireless ad hoc networks
transport layer