rcoch@chudich.co.rmit.oz (Hong Cheng) (11/19/90)
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? Thank you. Hong Cheng email: rcoch@chudich.co.rmit.oz N.Hong CHENG Dpt. of Communication & Electrical Engineering Royal Melbourne Institute of Technology
kremer@cs.utwente.nl (Harro Kremer) (11/21/90)
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 | +----------------------------------------------------------+