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

Field of Research

  • Computational Logic And Formal Languages

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