Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para comparação de linguagens formais para especificação de protocolos. Estes critérios são aplicados para a comparação entre duas destas linguagens, Estelle e Lotos, atuais e bastante difundidas, em fase final de padronização pela ISO. / This work stands on the area of formal protocol specification. It is given a rigorous presentation of the concepts and terminology related to the area. A set of criteria is proposed for the comparison of formal specification languages for protocols. The criteria are applied in the comparison of two of these languages, Estelle and Lotos, modern and well accepted in the community, whose standardization by ISO is in a final step.

Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para comparação de linguagens formais para especificação de protocolos. Estes critérios são aplicados para a comparação entre duas destas linguagens, Estelle e Lotos, atuais e bastante difundidas, em fase final de padronização pela ISO. / This work stands on the area of formal protocol specification. It is given a rigorous presentation of the concepts and terminology related to the area. A set of criteria is proposed for the comparison of formal specification languages for protocols. The criteria are applied in the comparison of two of these languages, Estelle and Lotos, modern and well accepted in the community, whose standardization by ISO is in a final step.

Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para comparação de linguagens formais para especificação de protocolos. Estes critérios são aplicados para a comparação entre duas destas linguagens, Estelle e Lotos, atuais e bastante difundidas, em fase final de padronização pela ISO. / This work stands on the area of formal protocol specification. It is given a rigorous presentation of the concepts and terminology related to the area. A set of criteria is proposed for the comparison of formal specification languages for protocols. The criteria are applied in the comparison of two of these languages, Estelle and Lotos, modern and well accepted in the community, whose standardization by ISO is in a final step.