Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C. A method to compare formal protocol specifications. In: EURINFO '88 - First European Conference on Information Technology for Organisational Systems (Athens, 16-20 May 1988). Proceedings, pp. 483 - 488. H.J. Bullinger and al (eds.). North Holland, 1988.
We present a formal method which can be used to compare LOTOS and Estelle descriptions of the same protocol thus overcoming the problem of possible incompatibility between in the two descriptions. The method adopts a temporal logic approach in order to obtain an abstract specification which is then used as a means to compare LOTOS and Estelle descriptions. The possibilities of automating the proposed method are also explored.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional