Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!olivea!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!unido!laura!moni!lange
From: lange@moni.informatik.uni-dortmund.de (Rainer Lange)
Newsgroups: comp.specification
Subject: PD spec. tools
Keywords: Estelle, SDL, ...
Message-ID: <2780@laura.UUCP>
Date: 9 Nov 90 13:11:09 GMT
Sender: news@laura.UUCP
Reply-To: lange@moni.informatik.uni-dortmund.de (Rainer Lange)
Organization: University of Dortmund, Germany
Lines: 11

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