Subject: Re: Digest - Thu Mar 23

From: Peng Min <[email-masked]>
Date: Thu, 23 Mar 1995 22:37:52 -0500 (EST)

Hi, maybe this is relevant? if you find its relation with LOTOS, please
inform me, or idea ...

Min PENG
[email-masked]
--------------------------------------

CMU-CS-94-171
   A Structured TCP in Standard ML 
   Edoardo S. Biagioni 
   July 1994 
   (Also appears as CMU-CS-FOX-94-105) 
   19 pages 
---------------------------------------

> 
>  
> Topics: 
>  
> 	Formalizing the  TCP
> 
> =-========================================================-=
> From: Leo Marcus <[email-masked]>
> Subject: Formalizing the TCP
> 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
> 
> 
> 
> =-========================================================-=
> --
> [email-masked] is an unmoderated mailing list dedicated to the LOTOS
> domain.  It is a sublist of [email-masked].  Use lotos-world to
> reach the world wide list of LOTOS users.  Use lotos-na to reach the sublist
> of North-American users.  [Un]subscribe to [email-masked].
> Archives are available via ftp at LOTOS.csi.UOttawa.CA/Lotos/Lotos-NA or
> http://LOTOS.csi.UOttawa.CA/~ftp/Lotos/Lotos-NA/
>