🚀 go-pugleaf

In article <1992Dec28.064433.14965@cucs5.cs.cuhk.hk>, mklai@ie.cuhk.hk (Edmund M
K Lai) writes:
|> 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.
|> 

Both Transport and Session Standards have been specified in LOTOS:

@TechReport{ISO10023,
  Author="ISO",
  Title="Information Processing Systems --- Open Systems Interconnection ---
        Formal Description of {ISO} 8072 in {LOTOS}",
  Type=TR, Number=10023,
  Institution="ISO/IEC, Geneva", Month=jul, Year=1992}

@TechReport{ISO10024,
  Author="ISO",
  Title="Information Processing Systems --- Open Systems Interconnection ---
        Formal Description of {ISO} 8073 (Classes 0,1,2,3) in {LOTOS}",
  Type=TR, Number=10024,
  Institution="ISO/IEC, Geneva", Month=jul, Year=1992}


@TechReport{ISO9572,
  Author="ISO/IEC",
  Title="Information technology - Open Systems Interconnection -
        {LOTOS} description of the session protocol",
  Type=TR, Number=9572,
  Institution="ISO/IEC, Geneva", Year=1989 }

@TechReport{ISO9571,
  Author="ISO/IEC",
  Title="Information technology - Open Systems Interconnection -
        {LOTOS} description of the session service",
  Type=TR, Number=9571,
  Institution="ISO/IEC, Geneva", Year=1989 }


-- 
    ___             Harro Kremer                    <kremer@cs.utwente.nl>
 __/   \__________
|  \___/          | Univ. of Twente,   Dept. Computer Science,  TIOS-group
|___     __   ___ | P.O. Box 217,   NL-7500 AE  Enschede,  The Netherlands
| |  |  /  \ (__  |                 tel: +31 53 89 3703 fax: +31 53 333815
| |  |  \__/ ___) | 
|                 | Freedom's just another word for nothing left to loose.
|_________________|                  - Kris Kristofferson & Janis Joplin -