Subject: Formalizing the TCP

From: Leo Marcus <[email-masked]>
Date: Tue, 21 Mar 1995 15:47:07 -0800

Can anyone refer me to work on formal specification and analysis of
the TCP? (Your reply via email would be appreciated.)

Many thanks,

Leo Marcus

Computer Systems Division, M1-055
The Aerospace Corporation
Box 92957
Los Angeles, CA 90009

[email-masked]
Phone:(310)336-4541
Fax:(310)336-2231