meaning of estelle
1. 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]. Esterel A distributed language for synchronous interaction of real-time systems with their environment. Uses explicit timing requests. Esterel programs are compiled into finite automata. ["The ESTEREL Programming Language and its Mathematical Semantics", G. Berry & L. Cosserat, TR 327, INRIA, 1984]. EstPC A compiler from Estelle to C. ftp:osi. ncsl. nist. gov/pub/osikit/estpc.
Related Words
estelle |
