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

2008

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Networking And Communications

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