A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.

Tom Ridge, Michael Norrish, Peter Sewell

Browse the full FM paper archive.