Re: Formal Specifications of ISO Protocols

Article View: comp.protocols.iso

Article #1394

Back to comp.protocols.iso Previous Next

#1394

From: Jeroen van de Lagemaat
Date: Wed, 06 Jan 1993 09:21

26 lines
1448 bytes

There are several "large" OSI LOTOS specs published as technical reports
by ISO.

ISO 10023 Transport service in LOTOS

I do not know the numbers of the specs in LOTOS of Transport protocol, Session
protocol, session service and network service, but they are there.

Furthermore, in an ESPRIT project we developed several specs of 
ISDN  L3, an ISDN application (small email facility in ISDN phone),
Transaction processing specs (ACSE, CCR, TP).

Regards

-- 
    ___
 __/   \__________  Jeroen van de Lagemaat    <lagemaat@cs.utwente.nl>
|  \___/          |         
|___     __   ___ | University of Twente     
| |  |  /  \ (__  | Tele-Informatics & Open Systems
| |__|__\__/____) | P.O. Box 217  NL-7500 AE Enschede  The Netherlands
|_________________| tel. +31 53 893684              tfx. +31 53 333815

                    Humour, you're making me laugh.
                                    - Herman Finkers, Dutch comedian -

Technical Details

Message-ID: <1993Jan6.102156@cs.utwente.nl>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!bnr.co.uk!uknet!mcsun!sun4nl!utrcu1!infnews!infnews!lagemaat

References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!bnr.co.uk!uknet!mcsun!sun4nl!utrcu1!infnews!infnews!lagemaat
From: lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
Newsgroups: comp.protocols.iso
Subject: Re: Formal Specifications of ISO Protocols
Message-ID: <1993Jan6.102156@cs.utwente.nl>
Date: 6 Jan 93 09:21:56 GMT
References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>
Sender: usenet@cs.utwente.nl
Organization: University of Twente, Dept. of Computer Science
Lines: 26
Nntp-Posting-Host: utis09

Reply to Parent Message