Estelle - English Dictionary

    Online Dictionary
          Chinese to English
          English
                to Chinese
                to French
                to German
                to Italian
                to Japanese
                to Latin
                to Russian
                to Spanish
                to Swedish
          French to English
          German
                to English
                to Japanese
          Italian to English
          Japanese
                to English
                to German
          Latin to English
          Russian to English
          Spanish to English
          Swedish to English

If you can't find the translation you need, try our free translation











Estelle - English Dictionary
 




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.

ABCDEFGHIJKLMNOPQRSTUVWXYZ

2008 Online-Dictionary.biz. All rights reserved. By using this website you agree to be bound by our terms and conditions.
All content on this website is property of LocalTranslation unless stated otherwise.