Login / Signup
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.
Steve Bishop
Matthew Fairbairn
Michael Norrish
Peter Sewell
Michael Smith
Keith Wansbrough
Published in:
SIGCOMM (2005)
Keyphrases
</>
network protocols
end to end
tcp ip
information systems
social networks
digital libraries
transport layer