home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / protocol / iso / 1461 next >
Encoding:
Text File  |  1993-01-04  |  2.3 KB  |  62 lines
  1. Newsgroups: comp.protocols.iso
  2. Path: sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!kremer
  3. From: kremer@cs.utwente.nl (Harro Kremer)
  4. Subject: Re: Formal Specifications of ISO Protocols
  5. Message-ID: <1993Jan4.100516@cs.utwente.nl>
  6. Sender: usenet@cs.utwente.nl
  7. Nntp-Posting-Host: utis180
  8. Organization: University of Twente, Dept. of Computer Science
  9. References:  <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>
  10. Date: Mon, 4 Jan 1993 09:05:16 GMT
  11. Lines: 49
  12.  
  13. In article <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>, mklai@ie.cuhk.hk (Edmund M
  14. K Lai) writes:
  15. |> I am looking for ISO protocols of any layer that has already been formally
  16. |> specified in one of the major formal specification languages such as
  17. |> LOTOS and ESTELLE.  So far I have only been able to locate simple data
  18. |> link layer protocols with formal specifications.
  19. |> 
  20.  
  21. Both Transport and Session Standards have been specified in LOTOS:
  22.  
  23. @TechReport{ISO10023,
  24.   Author="ISO",
  25.   Title="Information Processing Systems --- Open Systems Interconnection ---
  26.         Formal Description of {ISO} 8072 in {LOTOS}",
  27.   Type=TR, Number=10023,
  28.   Institution="ISO/IEC, Geneva", Month=jul, Year=1992}
  29.  
  30. @TechReport{ISO10024,
  31.   Author="ISO",
  32.   Title="Information Processing Systems --- Open Systems Interconnection ---
  33.         Formal Description of {ISO} 8073 (Classes 0,1,2,3) in {LOTOS}",
  34.   Type=TR, Number=10024,
  35.   Institution="ISO/IEC, Geneva", Month=jul, Year=1992}
  36.  
  37.  
  38. @TechReport{ISO9572,
  39.   Author="ISO/IEC",
  40.   Title="Information technology - Open Systems Interconnection -
  41.         {LOTOS} description of the session protocol",
  42.   Type=TR, Number=9572,
  43.   Institution="ISO/IEC, Geneva", Year=1989 }
  44.  
  45. @TechReport{ISO9571,
  46.   Author="ISO/IEC",
  47.   Title="Information technology - Open Systems Interconnection -
  48.         {LOTOS} description of the session service",
  49.   Type=TR, Number=9571,
  50.   Institution="ISO/IEC, Geneva", Year=1989 }
  51.  
  52.  
  53. -- 
  54.     ___             Harro Kremer                    <kremer@cs.utwente.nl>
  55.  __/   \__________
  56. |  \___/          | Univ. of Twente,   Dept. Computer Science,  TIOS-group
  57. |___     __   ___ | P.O. Box 217,   NL-7500 AE  Enschede,  The Netherlands
  58. | |  |  /  \ (__  |                 tel: +31 53 89 3703 fax: +31 53 333815
  59. | |  |  \__/ ___) | 
  60. |                 | Freedom's just another word for nothing left to loose.
  61. |_________________|                  - Kris Kristofferson & Janis Joplin -
  62.