puder@sun.rhrk.uni-kl.de (Arno Puder) (07/26/90)
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 | | ------------------------------------------------------------------------