Sockets: rigorous and experimentally-validated behavioural specification. Volume 2: The specification (0)

by S BISHOP, M FAIRBAIRN, M NORRISH, P SEWELL, M SMITH, K 2005c TCP WANSBROUGH, UDP