Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!mcsun!unido!ira.uka.de!sun.rhrk.uni-kl.de!sun.rhrk.uni-kl.de!puder
From: puder@sun.rhrk.uni-kl.de (Arno Puder)
Newsgroups: comp.lang.eiffel
Subject: Protocol specification using EIFFEL
Message-ID: <1990Jul26.111101.17441@sun.rhrk.uni-kl.de>
Date: 26 Jul 90 11:11:01 GMT
Sender: puder@sun.rhrk.uni-kl.de (Arno Puder)
Reply-To: puder@sun.rhrk.uni-kl.de (Arno Puder)
Organization: University of Kaiserslautern
Lines: 20


We are a research group at the University of Kaiserslautern/FRG and
currently engaged in studies relating secure network communications.
For the formal protocol and service specification (X.213) we have the
choice between CCITT-SDL (Specification & Description Language)
and Eiffel.

We're looking for Eiffel experience concerning protocol specification.
Any comments are greatly appreciated. If there is sufficient
interest, I'll post a summary.

Arno


------------------------------------------------------------------------
|  Arno Puder                    |   Q: Do you know Beethoven's Ninth? |
|  Rechenzentrum Kaiserslautern  |   A: No, I didn't know that he was  |
|--------------------------------|      married that often!            |
|  puder@rhrk.uni-kl.de          |                                     |
------------------------------------------------------------------------