Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets (2002)

by Michael Norrish , Peter Sewell , Keith Wansbrough
Citations:14 - 12 self

Documents Related by Co-Citation

19 The UDP Calculus: Rigorous Semantics for Real Networking – Andrei Serjantov, Peter Sewell, Keith Wansbrough - 2001
21 Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures – Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov - 2002
18 Formal specification and verification of safety and performance of TCP selective acknowledgment – M A Smith, K K Ramakrishnan
25 Formal Verification of Communication Protocols – M. A. S. Smith - 1996
54 Generating Efficient Protocol Code from an Abstract Specification – C. Castelluccia - 1996
43 A Structured TCP in Standard ML – Edoardo Biagioni - 1994
38 A Readable TCP in the Prolac Protocol Language – Eddie Kohler , M. Frans Kaashoek, David R. Montgomery - 1999
15 A Graph Model Analysis of Computer Communications Protocols – J Postel - 1974
11 Service specification and protocol construction for the transport layer – S L Murphy, A U Shankar - 1988