TCP, UDP, and sockets: rigo... - Researchers

TCP, UDP, and sockets: rigorous and experimentally-validated behavioural specification

Citation

Bishop, S, Fairbairn, M, Norrish, M et al 2005, TCP, UDP, and sockets: rigorous and experimentally-validated behavioural specification, University of Cambridge Computer Laboratory.

Year

2005

ANU Authors

Mr Michael Norrish

Field of Research

Computational Logic And Formal Languages

Updated: 15 April 2021 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers