The bounded retransmission protocol revisited.

Dennis Dams Rob Gerth

Published in: INFINITY (1997)

Keyphrases

lightweight
tcp ip
file transfer
coloured petri nets
compressed video
authentication protocol
communication protocol
network protocols
real time
video data
formal analysis
security protocols
communication protocols
ip address
network simulator