home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / protocol / iso / 1454 < prev    next >
Encoding:
Text File  |  1992-12-29  |  834 b   |  24 lines
  1. Newsgroups: comp.protocols.iso
  2. Path: sparky!uunet!munnari.oz.au!hp9000.csc.cuhk.hk!cucs5.cs.cuhk.hk!mklai
  3. From: mklai@ie.cuhk.hk (Edmund M K Lai)
  4. Subject: Formal Specifications of ISO Protocols
  5. Message-ID: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>
  6. Sender: news@cucs5.cs.cuhk.hk
  7. Organization: Faculty of Engineering, The Chinese U. of Hong Kong
  8. Date: Mon, 28 Dec 1992 06:44:33 GMT
  9. Lines: 13
  10.  
  11. I am looking for ISO protocols of any layer that has already been formally
  12. specified in one of the major formal specification languages such as
  13. LOTOS and ESTELLE.  So far I have only been able to locate simple data
  14. link layer protocols with formal specifications.
  15.  
  16. Any pointers would be helpful.  Thank you.
  17.  
  18. Edmund Lai
  19. Department of Information Engineering
  20. The Chinese University of Hong Kong
  21. Shatin, N.T., Hong Kong
  22.  
  23. email: mklai@ie.cuhk.hk
  24.