estelle

from The Free On-line Dictionary of Computing (8 July 2008)

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].

from U.S. Gazetteer (1990)

Estelle, LA (CDP, FIPS 24390)
  Location: 29.84360 N, 90.09934 W
  Population (1990): 14091 (4365 housing units)
  Area: 13.1 sq km (land), 0.0 sq km (water)

from 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