Modelling and Verification of End-to-End Transport Protocols.

André A. S. Danthine Joseph Bremer

Published in: Comput. Networks (1978)

Keyphrases

end to end
transport layer
cryptographic protocols
wireless ad hoc networks
admission control
high bandwidth
ad hoc networks
content delivery
scalable video
congestion control
internet protocol
multipath
rate allocation
peer to peer