Also found in: Wikipedia.


A Pascal extension for formal specification of computer network protocols. Protocols are described by modules which are communicating NFAs. Modules are arranged in a dynamic hierarchy and communicate at named interaction points.

EstPC Compiles Estelle into C. petdingo Translates Estelle into C++

Adopted by ITU-T. ISO 9074 (1989).

["The Formal Description Technique Estelle", M. Diaz et al eds, N-H 1989].
This article is provided by FOLDOC - Free Online Dictionary of Computing (
References in classic literature ?
Her real name was Estelle, but Aunt March ordered her to change it, and she obeyed, on condition that she was never asked to change her religion.
It chanced, however, that a knight of Poitou, Sir Gaston d'Estelle, was staying there on his way back from Lithuania, where he had served a term with the Teutonic knights under the land-master of the presbytery of Marienberg.
ENPNewswire-August 9, 2019--Mithra obtains crucial additional Estelle patent in Japan
Nineteen-year-old Estelle from Paris first took antihistamines after her scalp started getting itchy from applying the hair dye.
Estelle was also left struggling to breathe by a chemical called paraphenylenediamine, which is found in a number of products.
Estelle, a 19-year-old English student from Paris, shared photos showing her shocking disfigurement caused by the chemical PPD, which is found in 90 percent of hair dyes.
Estelle, a student from Paris, said in an interview with ( Le Parisies on Wednesday that she almost died and was left fighting for breath due to the extreme reaction caused by the chemical paraphenylenediamine (PPD), which is found in 90 percent of hair dyes.
Estelle Maher, 46, from Prenton, released her new book, Angel's Rebellion, on Amazon earlier this month, and within less than 24 hours of being released, the publication had become an Amazon bestseller reaching the top position in its category.
Judith Tonner Diamond couple Estelle and William Fleming have had a sparkling time celebrating their 60th wedding anniversary.