Protocol engineering issues for open systems communications.

Syed A. Aleem
In this thesis we present real design criteria and design building blocks in a highly procedural way starting from the specification to the implementation stage. A subset of a real protocol, namely ISDN Q.931 (CCIT3), written in informal English will be translated to a formal specification using Estelle as the formal description technique. A means of incorporating the design criteria into the formal description of the protocol is presented and illustrated with Q.931 as example....
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.