[comp.lang.modula2] Protocol specification/validation tools

labbe@NCS.DND.CA (Paul Labbe) (01/30/89)

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