home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / protocol / iso / 1469 < prev    next >
Encoding:
Internet Message Format  |  1993-01-06  |  1.4 KB
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!mcsun!sun4nl!utrcu1!infnews!infnews!lagemaat
  2. From: lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
  3. Newsgroups: comp.protocols.iso
  4. Subject: Re: Formal Specifications of ISO Protocols
  5. Message-ID: <1993Jan6.102156@cs.utwente.nl>
  6. Date: 6 Jan 93 09:21:56 GMT
  7. References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>
  8. Sender: usenet@cs.utwente.nl
  9. Organization: University of Twente, Dept. of Computer Science
  10. Lines: 26
  11. Nntp-Posting-Host: utis09
  12.  
  13.  
  14. There are several "large" OSI LOTOS specs published as technical reports
  15. by ISO.
  16.  
  17. ISO 10023 Transport service in LOTOS
  18.  
  19. I do not know the numbers of the specs in LOTOS of Transport protocol, Session
  20. protocol, session service and network service, but they are there.
  21.  
  22. Furthermore, in an ESPRIT project we developed several specs of 
  23. ISDN  L3, an ISDN application (small email facility in ISDN phone),
  24. Transaction processing specs (ACSE, CCR, TP).
  25.  
  26. Regards
  27.  
  28. -- 
  29.     ___
  30.  __/   \__________  Jeroen van de Lagemaat    <lagemaat@cs.utwente.nl>
  31. |  \___/          |         
  32. |___     __   ___ | University of Twente     
  33. | |  |  /  \ (__  | Tele-Informatics & Open Systems
  34. | |__|__\__/____) | P.O. Box 217  NL-7500 AE Enschede  The Netherlands
  35. |_________________| tel. +31 53 893684              tfx. +31 53 333815
  36.  
  37.                     Humour, you're making me laugh.
  38.                                     - Herman Finkers, Dutch comedian -
  39.