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
2005ANU Authors
Field of Research
- Computational Logic And Formal Languages