Formal Specifications of ISO Protocols

Article View: comp.protocols.iso

Article #1265

Back to comp.protocols.iso Previous Next

#1265

From: Edmund M K Lai
Date: Mon, 28 Dec 1992 06:44

13 lines
857 bytes

I am looking for ISO protocols of any layer that has already been formally
specified in one of the major formal specification languages such as
LOTOS and ESTELLE.  So far I have only been able to locate simple data
link layer protocols with formal specifications.

Any pointers would be helpful.  Thank you.

Edmund Lai
Department of Information Engineering
The Chinese University of Hong Kong
Shatin, N.T., Hong Kong

email: mklai@ie.cuhk.hk

Technical Details

Message-ID: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!hp9000.csc.cuhk.hk!cucs5.cs.cuhk.hk!mklai

Show Full Headers

Complete Article Headers

Newsgroups: comp.protocols.iso
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!hp9000.csc.cuhk.hk!cucs5.cs.cuhk.hk!mklai
From: mklai@ie.cuhk.hk (Edmund M K Lai)
Subject: Formal Specifications of ISO Protocols
Message-ID: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>
Sender: news@cucs5.cs.cuhk.hk
Organization: Faculty of Engineering, The Chinese U. of Hong Kong
Date: Mon, 28 Dec 1992 06:44:33 GMT
Lines: 13