Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!think.com!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!hp4nl!utrcu1!infnews!infnews!kremer
From: kremer@cs.utwente.nl (Harro Kremer)
Newsgroups: comp.specification
Subject: Re: LOTOS specification of Sliding Window Protocol
Keywords: LOTOS, specification
Message-ID: <1990Nov21.094133@cs.utwente.nl>
Date: 21 Nov 90 08:41:33 GMT
References: <6281@minyos.xx.rmit.oz.au>
Sender: usenet@cs.utwente.nl
Reply-To: kremer@cs.utwente.nl (Harro Kremer)
Organization: University of Twente, Dept. of Computer Science
Lines: 31

In article <6281@minyos.xx.rmit.oz.au>, rcoch@chudich.co.rmit.oz (Hong
Cheng) writes:
|> There is a LOTOS specification of Sliding Window Protocol in
|> 	"Guilines for the application of FDTs to OSI"
|> 	Editor: K. Turner
|> If someone has a copy of this specification in a text file, could you
please
|> send a copy to me?
|> 
The best thing to do is to contact Ken Turner at  'kjt@cs.stir.ac.uk'.
He has LaTeX sources for the complete guidelines document.

I have available for distribution the following LOTOS specifications:

"A transport example" from the guidelines mentioned above. This
specification is complete and has been verified/validated.
"ISO Transport Service" the formal description of ISO 8072. This
specification is complete and has been verified/validated.
"ISO Transport Protocol", the formal description of ISO 8073. This
specification is fairly complete.

Please contact me if you want a copy of it.

+----------------------------------------------------------+
| Harro Kremer                                             |
| Dept. of Computer Science                                |
| University of Twente                                     |
| P.O. Box 217                Email: kremer@cs.utwente.nl  |
| 7500 AE  Enschede           voice: +31 53 89 2819        |
| Netherlands                 fax  : +31 53 33 3815        |
+----------------------------------------------------------+