The Free On-line Dictionary of Computing (30 December 2018):
Estelle
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 (ftp:osi.ncsl.nist.gov/pub/osikit/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].
U.S. Gazetteer Places (2000):
Estelle, LA -- U.S. Census Designated Place in Louisiana
Population (2000): 15880
Housing Units (2000): 5124
Land area (2000): 5.054812 sq. miles (13.091902 sq. km)
Water area (2000): 0.000000 sq. miles (0.000000 sq. km)
Total area (2000): 5.054812 sq. miles (13.091902 sq. km)
FIPS code: 24390
Located within: Louisiana (LA), FIPS 22
Location: 29.847527 N, 90.108117 W
ZIP Codes (1990):
Note: some ZIP codes may be omitted esp. for suburbs.
Headwords:
Estelle, LA
Estelle