[comp.protocols.misc] PD tools for specification

lange@moni.informatik.uni-dortmund.de (Rainer Lange) (11/09/90)

Hi folks,
we're planning a student course on comunication protocol engineering.
Therefore we're interested in any public-domain tools (simulator,
animator, compiler, ...) concerning standard formal 
description techniques for protocols (esp. Estelle, SDL, ...).
Any suggestions are welcome !

Thanks in advance
Peter Herrmann
Rainer Lange
University of Dortmund, Germany