A Verification Oriented Specification in LOTOS of the Transport Protocol.

Published in: PSTV (1987)

Keyphrases

temporal ordering
transport protocol
formal methods
model checking
real time
formal specification
rate adaptation
end to end
congestion control
intrusion detection
temporal logic