A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tom Ridge, Michael Norrish, Peter Sewell. A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. In Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere, editors, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Volume 5014 of Lecture Notes in Computer Science, pages 294-309, Springer, 2008. [doi]

This author has not been identified. Look up 'Tom Ridge' in GoogleThis author has not been identified. Look up 'Michael Norrish' in GoogleThis author has not been identified. Look up 'Peter Sewell' in Google

runs on WebDSL