A rigorous approach to networking: TCP, from implementation to protocol to service
Citation
Ridge, T, Norrish, M & Sewell, P 2008, 'A rigorous approach to networking: TCP, from implementation to protocol to service', in J. Cuellar, T. Maibaum, K. Sere (ed.), International Symposium of Formal Methods Europe, Springer, Berlin, Germany, pp. 294-309.Year
2008ANU Authors
Fields of Research
- Computational Logic And Formal Languages
- Networking And Communications