Path: 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




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