Protocol specification/validation tools

Article View: comp.lang.modula2

Article #4608

#4608

From: Paul Labbe
Date: Mon, 30 Jan 1989 13:28

20 lines
1049 bytes



I am looking for a protocol specification/validation tool written in
Modula-2. May be a version of LOTOS or a similar language that has been
written in Modula-2 would be appropriate. In the other hand if no tools
like that are available, any computer network simulation tools for packet
radios might be of interest.

If such information is available, please let me know via E.M. or phone
me at CRC.

Paul Labbe', tel.: 613-998-2020

P.S.: Is there any good Modula-2 compiler for a 386 with OS-2? If not
      I could use UNIX instead of OS-2.


Thanks,
 Paul        LABBE@NCS.DND.CA

Technical Details

Message-ID: <8901301328.AA16664@ncs.dnd.ca>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!bionet!agate!ucbvax!NCS.DND.CA!labbe

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!bionet!agate!ucbvax!NCS.DND.CA!labbe
From: labbe@NCS.DND.CA (Paul Labbe)
Newsgroups: comp.lang.modula2
Subject: Protocol specification/validation tools
Message-ID: <8901301328.AA16664@ncs.dnd.ca>
Date: 30 Jan 89 13:28:07 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: Modula2 List <INFO-M2%UCF1VM.bitnet@jade.berkeley.edu>
Organization: The Internet
Lines: 20