An embedded message was scrubbed... From: Peter Sewell <Peter.Sewell at cl.cam.ac.uk> Subject: [TYPES] Rigorous HOL specification for TCP, UDP, and Sockets Date: Wed, 23 Mar 2005 16:36:02 +0000 Size: 4655 Url: https://lists.ccs.neu.edu/pipermail/prl/attachments/20050323/44dc774d/attachment.mht