Two standards means problems: a case study on formal protocol descriptions

Estelle and LOTOS Formal Description Techniques for protocol specifications are considered as a typical example of incompatibility problems which can arise when two standard are used in the same context. The aim of this paper is to indicate the sources of possible problems and to show the effects of having incompatible specifications of the same system. A brief discussion follows on some techniques and methods to verify the compatibility between Estelle and LOTOS specifications.