Login / Signup
On the Use of LOTOS for the Formal Description of a Transport Protocol.
Jeroen van de Lagemaat
Giuseppe Scollo
Published in:
FORTE (1988)
Keyphrases
</>
transport protocol
real time
end to end
rate adaptation
formal specification
congestion control
video streaming
ip networks
transport layer
rate control
motion estimation
sensor networks
image quality
user experience